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