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 publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 4
Look more.. (3/184)
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 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
2

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
3

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
4

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

book article EST / book article ENG

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

1. Aspect, Alain, 1947-

1. Building Information Modeling

match

sort

Otsing
Valikud 0

year of publication

author

TalTech 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