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