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