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/194)
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. fused deposition modeling (FDM)
101. fuzzy modeling
102. gait modeling
103. Graph Modeling Language (GML)
104. harmonic modeling
105. high-frequency machine modeling
106. high-frequency modeling
107. High-level Decision Diagrams for Modeling Digital Systems
108. homology modeling
109. human behavior modeling
110. human gait modeling
111. hydrodynamic modeling
112. hysteresis modeling
113. integrated circuit modeling
114. Interpretative Structural Modeling (ISM)
115. inverse modeling
116. kinetic modeling
117. land use modeling
118. language modeling
119. lighting modeling
120. lithium batteries and power system modeling
121. load modeling
122. lower limb mathematical modeling
123. mathematical modeling
124. meta modeling
125. mobility modeling
126. modeling
127. modeling and simulation
128. modeling for control
129. modeling language
130. modeling languages
131. modeling tools
132. modelling/modeling, building integrated PV
133. molecular modeling
134. multi-level modeling
135. multiple criteria modeling
136. multiscale modeling
137. numerical modeling
138. ocean modeling
139. oil spill modeling
140. ontology-based modeling
141. operads and modeling
142. orthographic system modeling
143. oupled physical-biogeochemical modeling
144. partial least squares structural equation modeling (PLS-SEM)
145. Participatory modeling
146. PCBA component modeling
147. physical modeling
148. physics-based modeling
149. power system modeling
150. predictive modeling
151. probabilistic modeling
152. process modeling
153. process modeling and information systems within the extended enterprise
154. process modeling for engineering applications
155. radio link modeling
156. register transfer level modeling decision diagams
157. rule-based modeling
158. seamless modeling
159. semiconductor device modeling
160. Sensors modeling and analysis
161. ship performance modeling
162. signal simulation and modeling
163. simulation modeling
164. Simulink/MATLAB modeling environment
165. small-signal modeling
166. software modeling
167. space–time modeling
168. spatial modeling
169. statistical language modeling
170. stochastic modeling
171. Structural Decision Diagrams for Modeling Digital Circuits
172. Structural equation modeling
173. SysML modeling software
174. system modeling
175. systems modeling
176. zonal modeling
177. Threat modeling
178. threat modeling (TM)
179. topic modeling
180. traffic modeling
181. trajectory modeling
182. transaction-level modeling
183. transport sector modeling
184. tsunami numerical modeling
185. uncertainty modeling
186. Urban Building Energy Modeling (UBEM)
187. urban drainage system modeling
188. user modeling
189. vehicle modeling
190. virtual modeling
191. 3D city modeling
192. 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