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
Liitotsing
Valitud kirjed
0
aspect-oriented modeling (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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/156)
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
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
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