Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

aspect-oriented modeling (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing 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/192)
Ekspordi

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

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

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
2

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
3

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
4

artikkel kogumikus EST / artikkel kogumikus ENG

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 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

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 category
8. aspect detection
9. aspect weaving
10. aspect weaving correctness
11. transcendent aspect
12. agent oriented modelling
13. agent-oriented modelling
14. agent-oriented software engineering
15. aim-oriented empiricism
16. business oriented e-services
17. computer-oriented technologies
18. consumer-oriented demand side management
19. cost oriented prices
20. cost-oriented design
21. direct field-oriented control (DFOC)
22. diversity-oriented synthesis
23. field-oriented control
24. generic object-oriented substation event
25. market-oriented activity
26. market-oriented higher education
27. mission-oriented innovation
28. mission-oriented innovation policy
29. mission-oriented policy
30. non-oriented (NO) steel sheet
31. non-oriented electrical steel
32. object oriented concepts
33. object-oriented approach
34. object-oriented design
35. object-oriented programming
36. object-oriented programming languages
37. oriented matroids
38. oriented random walks
39. oriented samples
40. oriented structures
41. outcome oriented learning
42. person oriented approach
43. problem-oriented languages
44. problem-oriented programming languages
45. research oriented teaching
46. research-oriented learning
47. serivice oriented architecture
48. service-oriented architecture
49. service-oriented architectures
50. service-oriented business process management
51. shape-oriented ceria crystals
52. Stakeholder-oriented decision theory
53. voltage-oriented control (VOC)
54. acoustic modeling
55. Activity-based transport modeling
56. agentbased modeling
57. agent-based modeling
58. agent-based modeling (ABM)
59. agentoriented modeling
60. analytical modeling
61. Atmospheric modeling
62. Baltic Sea modeling
63. Bayesian modeling
64. Biological system modeling
65. biophysical modeling
66. borehole modeling
67. building information modeling
68. Building Information Modeling (BIM)
69. building modeling
70. Business Event Modeling Notation (BEMN)
71. Business Process Modeling
72. CFD modeling
73. circuit modeling
74. climate modeling
75. computational modeling
76. constitutive modeling
77. Cross-level Modeling of Faults in Digital Systems
78. data modeling
79. data-driven modeling
80. device modeling
81. dynamic modeling
82. economic modeling
83. electricity consumption modeling
84. electricity demand modeling
85. electromagnetic modeling
86. electrothermal modeling
87. end-of-life-modeling
88. energy modeling
89. energy system modeling
90. enterprise architecture modeling
91. enterprise modeling
92. fault modeling
93. feature modeling
94. finite element modeling
95. finite-element modeling
96. fractal enterprise modeling
97. fracture modeling
98. frequency domain modeling
99. fused deposition modeling
100. fuzzy modeling
101. gait modeling
102. Graph Modeling Language (GML)
103. high-frequency machine modeling
104. high-frequency modeling
105. High-level Decision Diagrams for Modeling Digital Systems
106. homology modeling
107. human behavior modeling
108. human gait modeling
109. hydrodynamic modeling
110. hysteresis modeling
111. integrated circuit modeling
112. Interpretative Structural Modeling (ISM)
113. inverse modeling
114. kinetic modeling
115. land use modeling
116. language modeling
117. lighting modeling
118. lithium batteries and power system modeling
119. load modeling
120. lower limb mathematical modeling
121. mathematical modeling
122. meta modeling
123. mobility modeling
124. modeling
125. modeling and simulation
126. modeling for control
127. modeling language
128. modeling languages
129. modeling tools
130. modelling/modeling, building integrated PV
131. molecular modeling
132. multi-level modeling
133. multiple criteria modeling
134. multiscale modeling
135. numerical modeling
136. ocean modeling
137. oil spill modeling
138. ontology-based modeling
139. operads and modeling
140. orthographic system modeling
141. oupled physical-biogeochemical modeling
142. partial least squares structural equation modeling (PLS-SEM)
143. Participatory modeling
144. PCBA component modeling
145. physical modeling
146. physics-based modeling
147. power system modeling
148. predictive modeling
149. probabilistic modeling
150. process modeling
151. process modeling and information systems within the extended enterprise
152. process modeling for engineering applications
153. radio link modeling
154. register transfer level modeling decision diagams
155. rule-based modeling
156. seamless modeling
157. semiconductor device modeling
158. Sensors modeling and analysis
159. ship performance modeling
160. signal simulation and modeling
161. simulation modeling
162. Simulink/MATLAB modeling environment
163. small-signal modeling
164. software modeling
165. space–time modeling
166. spatial modeling
167. statistical language modeling
168. stochastic modeling
169. Structural Decision Diagrams for Modeling Digital Circuits
170. Structural equation modeling
171. SysML modeling software
172. system modeling
173. systems modeling
174. zonal modeling
175. Threat modeling
176. threat modeling (TM)
177. topic modeling
178. traffic modeling
179. trajectory modeling
180. transaction-level modeling
181. transport sector modeling
182. tsunami numerical modeling
183. uncertainty modeling
184. Urban Building Energy Modeling (UBEM)
185. urban drainage system modeling
186. user modeling
187. vehicle modeling
188. virtual modeling
189. 3D city modeling
190. 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