Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

aspect-oriented modeling (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 4
Look more.. (3/176)
Export

export all inquiry results (4)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

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

book article
2

book article EST / book article 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

book article EST / book article ENG
3

book article

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

book article
4

book article

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

book article

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

1. Aspect, Alain, 1947-

1. Building Information Modeling

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu