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