Sciweavers

8959 search results - page 177 / 1792
» Composing aspects with aspects
Sort
View
JUCS
2010
139views more  JUCS 2010»
15 years 1 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
KI
2010
Springer
15 years 1 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, ...
SEE
2010
Springer
15 years 1 months ago
Philosophical Aspects of Dual Use Technologies
Svitlana V. Pustovit, Erin D. Williams