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/156)
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
http://dx.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
154
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 weaving
8.
aspect weaving correctness
9.
transcendent aspect
10.
agent oriented modelling
11.
agent-oriented modelling
12.
agent-oriented software engineering
13.
aim-oriented empiricism
14.
business oriented e-services
15.
computer-oriented technologies
16.
consumer-oriented demand side management
17.
cost oriented prices
18.
cost-oriented design
19.
diversity-oriented synthesis
20.
field-oriented control
21.
generic object-oriented substation event
22.
market-oriented activity
23.
market-oriented higher education
24.
mission-oriented innovation
25.
mission-oriented innovation policy
26.
mission-oriented policy
27.
non-oriented (NO) steel sheet
28.
non-oriented electrical steel
29.
object-oriented approach
30.
object-oriented design
31.
object-oriented programming
32.
object-oriented programming languages
33.
oriented matroids
34.
oriented random walks
35.
oriented samples
36.
outcome oriented learning
37.
person oriented approach
38.
problem-oriented languages
39.
problem-oriented programming languages
40.
research oriented teaching
41.
research-oriented learning
42.
serivice oriented architecture
43.
service-oriented architecture
44.
service-oriented architectures
45.
service-oriented business process management
46.
shape-oriented ceria crystals
47.
Stakeholder-oriented decision theory
48.
voltage-oriented control (VOC)
49.
agentbased modeling
50.
agent-based modeling
51.
agentoriented modeling
52.
analytical modeling
53.
Baltic Sea modeling
54.
Bayesian modeling
55.
Biological system modeling
56.
biophysical modeling
57.
borehole modeling
58.
building information modeling
59.
Building Information Modeling (BIM)
60.
building modeling
61.
Business Event Modeling Notation (BEMN)
62.
Business Process Modeling
63.
computational modeling
64.
data modeling
65.
data-driven modeling
66.
device modeling
67.
dynamic modeling
68.
economic modeling
69.
electricity consumption modeling
70.
electricity demand modeling
71.
electromagnetic modeling
72.
electrothermal modeling
73.
energy modeling
74.
energy system modeling
75.
enterprise architecture modeling
76.
enterprise modeling
77.
fault modeling
78.
feature modeling
79.
finite element modeling
80.
finite-element modeling
81.
fractal enterprise modeling
82.
fracture modeling
83.
frequency domain modeling
84.
fused deposition modeling
85.
fuzzy modeling
86.
gait modeling
87.
Graph Modeling Language (GML)
88.
homology modeling
89.
human behavior modeling
90.
human gait modeling
91.
integrated circuit modeling
92.
Interpretative Structural Modeling (ISM)
93.
inverse modeling
94.
kinetic modeling
95.
land use modeling
96.
language modeling
97.
lighting modeling
98.
lithium batteries and power system modeling
99.
load modeling
100.
lower limb mathematical modeling
101.
mathematical modeling
102.
meta modeling
103.
mobility modeling
104.
modeling
105.
modeling and simulation
106.
modeling for control
107.
modeling language
108.
modeling tools
109.
modelling/modeling, building integrated PV
110.
molecular modeling
111.
multi-level modeling
112.
multiple criteria modeling
113.
multiscale modeling
114.
numerical modeling
115.
ocean modeling
116.
oil spill modeling
117.
operads and modeling
118.
orthographic system modeling
119.
partial least squares structural equation modeling (PLS-SEM)
120.
Participatory modeling
121.
PCBA component modeling
122.
physical modeling
123.
probabilistic modeling
124.
process modeling and information systems within the extended enterprise
125.
process modeling for engineering applications
126.
radio link modeling
127.
register transfer level modeling decision diagams
128.
seamless modeling
129.
semiconductor device modeling
130.
Sensors modeling and analysis
131.
signal simulation and modeling
132.
simulation modeling
133.
Simulink/MATLAB modeling environment
134.
small-signal modeling
135.
software modeling
136.
spatial modeling
137.
statistical language modeling
138.
stochastic modeling
139.
Structural equation modeling
140.
SysML modeling software
141.
system modeling
142.
systems modeling
143.
zonal modeling
144.
Threat modeling
145.
trajectory modeling
146.
transaction-level modeling
147.
transport sector modeling
148.
tsunami numerical modeling
149.
uncertainty modeling
150.
urban drainage system modeling
151.
user modeling
152.
vehicle modeling
153.
virtual modeling
154.
3D modeling
name of the person
1
1.
Aspect, Alain, 1947-
TTÜ subject term
1
1.
Building Information Modeling
×
vaste
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