Sciweavers

8959 search results - page 177 / 1792
» Composing aspects with aspects
Sort
View
JUCS
2010
139views more  JUCS 2010»
14 years 11 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
14 years 11 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, ...
SEE
2010
Springer
14 years 11 months ago
Philosophical Aspects of Dual Use Technologies
Svitlana V. Pustovit, Erin D. Williams