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