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