Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
aspect-oriented modeling (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
4
Look more..
(3/166)
Export
export all inquiry results
(4)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
A tool-supported approach for introducing aspects in UPPAAL timed automata
Truscan, Dragos
;
Vain, Jüri
;
Koskinen, Martin
;
Iqbal, Junaid
Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers
2015
/
p. 349-364
https://doi.org/10.1007/978-3-319-25579-8_20
book article
2
book article EST
/
book article ENG
Aspect-oriented Model-based testing with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gert
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 117-124
https://doi.org/10.1007/978-3-030-78428-7_10
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
3
book article
Combining aspect-orientation and UPPAAL timed automata
Truscan, Dragos
;
Vain, Jüri
;
Koskinen, Martin
ICSOFT-PT 2014 : proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 2014
2014
/
p. 159-164 : ill
book article
4
book article
Provably correct aspect-oriented modeling with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gerd
System assurances : modeling and management
2022
/
p. 447-476
https://doi.org/10.1016/B978-0-323-90240-3.00025-4
book article
Number of records 4, displaying
1 - 4
keyword
164
1.
aspect-oriented modeling
2.
aspect oriented modelling
3.
aspect-oriented modelling
4.
aspect-oriented testing
5.
agent-oriented modeling
6.
agent-oriented modeling (AOM)
7.
aspect detection
8.
aspect weaving
9.
aspect weaving correctness
10.
transcendent aspect
11.
agent oriented modelling
12.
agent-oriented modelling
13.
agent-oriented software engineering
14.
aim-oriented empiricism
15.
business oriented e-services
16.
computer-oriented technologies
17.
consumer-oriented demand side management
18.
cost oriented prices
19.
cost-oriented design
20.
direct field-oriented control (DFOC)
21.
diversity-oriented synthesis
22.
field-oriented control
23.
generic object-oriented substation event
24.
market-oriented activity
25.
market-oriented higher education
26.
mission-oriented innovation
27.
mission-oriented innovation policy
28.
mission-oriented policy
29.
non-oriented (NO) steel sheet
30.
non-oriented electrical steel
31.
object-oriented approach
32.
object-oriented design
33.
object-oriented programming
34.
object-oriented programming languages
35.
oriented matroids
36.
oriented random walks
37.
oriented samples
38.
outcome oriented learning
39.
person oriented approach
40.
problem-oriented languages
41.
problem-oriented programming languages
42.
research oriented teaching
43.
research-oriented learning
44.
serivice oriented architecture
45.
service-oriented architecture
46.
service-oriented architectures
47.
service-oriented business process management
48.
shape-oriented ceria crystals
49.
Stakeholder-oriented decision theory
50.
voltage-oriented control (VOC)
51.
Activity-based transport modeling
52.
agentbased modeling
53.
agent-based modeling
54.
agent-based modeling (ABM)
55.
agentoriented modeling
56.
analytical modeling
57.
Baltic Sea modeling
58.
Bayesian modeling
59.
Biological system modeling
60.
biophysical modeling
61.
borehole modeling
62.
building information modeling
63.
Building Information Modeling (BIM)
64.
building modeling
65.
Business Event Modeling Notation (BEMN)
66.
Business Process Modeling
67.
CFD modeling
68.
circuit modeling
69.
climate modeling
70.
computational modeling
71.
constitutive modeling
72.
data modeling
73.
data-driven modeling
74.
device modeling
75.
dynamic modeling
76.
economic modeling
77.
electricity consumption modeling
78.
electricity demand modeling
79.
electromagnetic modeling
80.
electrothermal modeling
81.
energy modeling
82.
energy system modeling
83.
enterprise architecture modeling
84.
enterprise modeling
85.
fault modeling
86.
feature modeling
87.
finite element modeling
88.
finite-element modeling
89.
fractal enterprise modeling
90.
fracture modeling
91.
frequency domain modeling
92.
fused deposition modeling
93.
fuzzy modeling
94.
gait modeling
95.
Graph Modeling Language (GML)
96.
homology modeling
97.
human behavior modeling
98.
human gait modeling
99.
integrated circuit modeling
100.
Interpretative Structural Modeling (ISM)
101.
inverse modeling
102.
kinetic modeling
103.
land use modeling
104.
language modeling
105.
lighting modeling
106.
lithium batteries and power system modeling
107.
load modeling
108.
lower limb mathematical modeling
109.
mathematical modeling
110.
meta modeling
111.
mobility modeling
112.
modeling
113.
modeling and simulation
114.
modeling for control
115.
modeling language
116.
modeling tools
117.
modelling/modeling, building integrated PV
118.
molecular modeling
119.
multi-level modeling
120.
multiple criteria modeling
121.
multiscale modeling
122.
numerical modeling
123.
ocean modeling
124.
oil spill modeling
125.
operads and modeling
126.
orthographic system modeling
127.
partial least squares structural equation modeling (PLS-SEM)
128.
Participatory modeling
129.
PCBA component modeling
130.
physical modeling
131.
probabilistic modeling
132.
process modeling and information systems within the extended enterprise
133.
process modeling for engineering applications
134.
radio link modeling
135.
register transfer level modeling decision diagams
136.
seamless modeling
137.
semiconductor device modeling
138.
Sensors modeling and analysis
139.
signal simulation and modeling
140.
simulation modeling
141.
Simulink/MATLAB modeling environment
142.
small-signal modeling
143.
software modeling
144.
spatial modeling
145.
statistical language modeling
146.
stochastic modeling
147.
Structural equation modeling
148.
SysML modeling software
149.
system modeling
150.
systems modeling
151.
zonal modeling
152.
Threat modeling
153.
topic modeling
154.
trajectory modeling
155.
transaction-level modeling
156.
transport sector modeling
157.
tsunami numerical modeling
158.
uncertainty modeling
159.
Urban Building Energy Modeling (UBEM)
160.
urban drainage system modeling
161.
user modeling
162.
vehicle modeling
163.
virtual modeling
164.
3D modeling
name of the person
1
1.
Aspect, Alain, 1947-
TTÜ subject term
1
1.
Building Information Modeling
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT