Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

aspect-oriented modeling (võtmesõna)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 4
Vaata veel.. (3/166)
Ekspordi

ekspordi kõik päringu tulemused (4)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / 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 automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GertModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / 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 automataTruscan, Dragos; Vain, Jüri; Koskinen, MartinICSOFT-PT 2014 : proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 20142014 / p. 159-164 : ill

artikkel kogumikus
4

artikkel kogumikus

Provably correct aspect-oriented modeling with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GerdSystem assurances : modeling and management2022 / p. 447-476 https://doi.org/10.1016/B978-0-323-90240-3.00025-4

artikkel kogumikus

Kirjeid leitud 4, kuvan 1 - 4

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 tools
117. modelling/modeling, building integrated PV
118. molecular modeling
119. multi-level modeling
120. multiple criteria modeling
121. multiscale modeling
122. numerical modeling
123. ocean modeling
124. oil spill modeling
125. operads and modeling
126. orthographic system modeling
127. partial least squares structural equation modeling (PLS-SEM)
128. Participatory modeling
129. PCBA component modeling
130. physical modeling
131. probabilistic modeling
132. process modeling and information systems within the extended enterprise
133. process modeling for engineering applications
134. radio link modeling
135. register transfer level modeling decision diagams
136. seamless modeling
137. semiconductor device modeling
138. Sensors modeling and analysis
139. signal simulation and modeling
140. simulation modeling
141. Simulink/MATLAB modeling environment
142. small-signal modeling
143. software modeling
144. spatial modeling
145. statistical language modeling
146. stochastic modeling
147. Structural equation modeling
148. SysML modeling software
149. system modeling
150. systems modeling
151. zonal modeling
152. Threat modeling
153. topic modeling
154. trajectory modeling
155. transaction-level modeling
156. transport sector modeling
157. tsunami numerical modeling
158. uncertainty modeling
159. Urban Building Energy Modeling (UBEM)
160. urban drainage system modeling
161. user modeling
162. vehicle modeling
163. virtual modeling
164. 3D modeling

1. Aspect, Alain, 1947-

1. Building Information Modeling

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu