Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
aspect-oriented modeling (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
4
Vaata veel..
(3/168)
Ekspordi
ekspordi kõik päringu tulemused
(4)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
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
artikkel kogumikus
2
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
artikkel kogumikus
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
artikkel kogumikus
4
artikkel kogumikus
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
artikkel kogumikus
Kirjeid leitud 4, kuvan
1 - 4
võtmesõna
166
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 languages
117.
modeling tools
118.
modelling/modeling, building integrated PV
119.
molecular modeling
120.
multi-level modeling
121.
multiple criteria modeling
122.
multiscale modeling
123.
numerical modeling
124.
ocean modeling
125.
oil spill modeling
126.
operads and modeling
127.
orthographic system modeling
128.
partial least squares structural equation modeling (PLS-SEM)
129.
Participatory modeling
130.
PCBA component modeling
131.
physical modeling
132.
probabilistic modeling
133.
process modeling and information systems within the extended enterprise
134.
process modeling for engineering applications
135.
radio link modeling
136.
register transfer level modeling decision diagams
137.
seamless modeling
138.
semiconductor device modeling
139.
Sensors modeling and analysis
140.
signal simulation and modeling
141.
simulation modeling
142.
Simulink/MATLAB modeling environment
143.
small-signal modeling
144.
software modeling
145.
spatial modeling
146.
statistical language modeling
147.
stochastic modeling
148.
Structural equation modeling
149.
SysML modeling software
150.
system modeling
151.
systems modeling
152.
zonal modeling
153.
Threat modeling
154.
threat modeling (TM)
155.
topic modeling
156.
trajectory modeling
157.
transaction-level modeling
158.
transport sector modeling
159.
tsunami numerical modeling
160.
uncertainty modeling
161.
Urban Building Energy Modeling (UBEM)
162.
urban drainage system modeling
163.
user modeling
164.
vehicle modeling
165.
virtual modeling
166.
3D modeling
tema kohta
1
1.
Aspect, Alain, 1947-
TTÜ märksõna
1
1.
Building Information Modeling
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT