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