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