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/177)
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

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

artikkel kogumikus
2

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
3

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
4

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

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