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/183)
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 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. Baltic Sea modeling
62. Bayesian modeling
63. Biological system modeling
64. biophysical modeling
65. borehole modeling
66. building information modeling
67. Building Information Modeling (BIM)
68. building modeling
69. Business Event Modeling Notation (BEMN)
70. Business Process Modeling
71. CFD modeling
72. circuit modeling
73. climate modeling
74. computational modeling
75. constitutive modeling
76. Cross-level Modeling of Faults in Digital Systems
77. data modeling
78. data-driven modeling
79. device modeling
80. dynamic modeling
81. economic modeling
82. electricity consumption modeling
83. electricity demand modeling
84. electromagnetic modeling
85. electrothermal modeling
86. energy modeling
87. energy system modeling
88. enterprise architecture modeling
89. enterprise modeling
90. fault modeling
91. feature modeling
92. finite element modeling
93. finite-element modeling
94. fractal enterprise modeling
95. fracture modeling
96. frequency domain modeling
97. fused deposition modeling
98. fuzzy modeling
99. gait modeling
100. Graph Modeling Language (GML)
101. high-frequency machine modeling
102. High-level Decision Diagrams for Modeling Digital Systems
103. homology modeling
104. human behavior modeling
105. human gait modeling
106. hydrodynamic modeling
107. integrated circuit modeling
108. Interpretative Structural Modeling (ISM)
109. inverse modeling
110. kinetic modeling
111. land use modeling
112. language modeling
113. lighting modeling
114. lithium batteries and power system modeling
115. load modeling
116. lower limb mathematical modeling
117. mathematical modeling
118. meta modeling
119. mobility modeling
120. modeling
121. modeling and simulation
122. modeling for control
123. modeling language
124. modeling languages
125. modeling tools
126. modelling/modeling, building integrated PV
127. molecular modeling
128. multi-level modeling
129. multiple criteria modeling
130. multiscale modeling
131. numerical modeling
132. ocean modeling
133. oil spill modeling
134. ontology-based modeling
135. operads and modeling
136. orthographic system modeling
137. oupled physical-biogeochemical modeling
138. partial least squares structural equation modeling (PLS-SEM)
139. Participatory modeling
140. PCBA component modeling
141. physical modeling
142. power system modeling
143. probabilistic modeling
144. process modeling
145. process modeling and information systems within the extended enterprise
146. process modeling for engineering applications
147. radio link modeling
148. register transfer level modeling decision diagams
149. seamless modeling
150. semiconductor device modeling
151. Sensors modeling and analysis
152. signal simulation and modeling
153. simulation modeling
154. Simulink/MATLAB modeling environment
155. small-signal modeling
156. software modeling
157. space–time modeling
158. spatial modeling
159. statistical language modeling
160. stochastic modeling
161. Structural Decision Diagrams for Modeling Digital Circuits
162. Structural equation modeling
163. SysML modeling software
164. system modeling
165. systems modeling
166. zonal modeling
167. Threat modeling
168. threat modeling (TM)
169. topic modeling
170. traffic modeling
171. trajectory modeling
172. transaction-level modeling
173. transport sector modeling
174. tsunami numerical modeling
175. uncertainty modeling
176. Urban Building Energy Modeling (UBEM)
177. urban drainage system modeling
178. user modeling
179. vehicle modeling
180. virtual modeling
181. 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