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/157)
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
155
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.
CFD modeling
64.
computational modeling
65.
data modeling
66.
data-driven modeling
67.
device modeling
68.
dynamic modeling
69.
economic modeling
70.
electricity consumption modeling
71.
electricity demand modeling
72.
electromagnetic modeling
73.
electrothermal modeling
74.
energy modeling
75.
energy system modeling
76.
enterprise architecture modeling
77.
enterprise modeling
78.
fault modeling
79.
feature modeling
80.
finite element modeling
81.
finite-element modeling
82.
fractal enterprise modeling
83.
fracture modeling
84.
frequency domain modeling
85.
fused deposition modeling
86.
fuzzy modeling
87.
gait modeling
88.
Graph Modeling Language (GML)
89.
homology modeling
90.
human behavior modeling
91.
human gait modeling
92.
integrated circuit modeling
93.
Interpretative Structural Modeling (ISM)
94.
inverse modeling
95.
kinetic modeling
96.
land use modeling
97.
language modeling
98.
lighting modeling
99.
lithium batteries and power system modeling
100.
load modeling
101.
lower limb mathematical modeling
102.
mathematical modeling
103.
meta modeling
104.
mobility modeling
105.
modeling
106.
modeling and simulation
107.
modeling for control
108.
modeling language
109.
modeling tools
110.
modelling/modeling, building integrated PV
111.
molecular modeling
112.
multi-level modeling
113.
multiple criteria modeling
114.
multiscale modeling
115.
numerical modeling
116.
ocean modeling
117.
oil spill modeling
118.
operads and modeling
119.
orthographic system modeling
120.
partial least squares structural equation modeling (PLS-SEM)
121.
Participatory modeling
122.
PCBA component modeling
123.
physical modeling
124.
probabilistic modeling
125.
process modeling and information systems within the extended enterprise
126.
process modeling for engineering applications
127.
radio link modeling
128.
register transfer level modeling decision diagams
129.
seamless modeling
130.
semiconductor device modeling
131.
Sensors modeling and analysis
132.
signal simulation and modeling
133.
simulation modeling
134.
Simulink/MATLAB modeling environment
135.
small-signal modeling
136.
software modeling
137.
spatial modeling
138.
statistical language modeling
139.
stochastic modeling
140.
Structural equation modeling
141.
SysML modeling software
142.
system modeling
143.
systems modeling
144.
zonal modeling
145.
Threat modeling
146.
trajectory modeling
147.
transaction-level modeling
148.
transport sector modeling
149.
tsunami numerical modeling
150.
uncertainty modeling
151.
urban drainage system modeling
152.
user modeling
153.
vehicle modeling
154.
virtual modeling
155.
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