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

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
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 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. ontology-based modeling
131. operads and modeling
132. orthographic system modeling
133. oupled physical-biogeochemical modeling
134. partial least squares structural equation modeling (PLS-SEM)
135. Participatory modeling
136. PCBA component modeling
137. physical modeling
138. power system modeling
139. probabilistic modeling
140. process modeling
141. process modeling and information systems within the extended enterprise
142. process modeling for engineering applications
143. radio link modeling
144. register transfer level modeling decision diagams
145. seamless modeling
146. semiconductor device modeling
147. Sensors modeling and analysis
148. signal simulation and modeling
149. simulation modeling
150. Simulink/MATLAB modeling environment
151. small-signal modeling
152. software modeling
153. space–time modeling
154. spatial modeling
155. statistical language modeling
156. stochastic modeling
157. Structural Decision Diagrams for Modeling Digital Circuits
158. Structural equation modeling
159. SysML modeling software
160. system modeling
161. systems modeling
162. zonal modeling
163. Threat modeling
164. threat modeling (TM)
165. topic modeling
166. trajectory modeling
167. transaction-level modeling
168. transport sector modeling
169. tsunami numerical modeling
170. uncertainty modeling
171. Urban Building Energy Modeling (UBEM)
172. urban drainage system modeling
173. user modeling
174. vehicle modeling
175. virtual modeling
176. 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