Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
In the Architecture Engineering and Construction sector (AEC) cooperation between actors is essential for project success. The configuration of actors’ organization takes differe...
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
Aldo Gangemi, Jos Lehmann, Valentina Presutti, Mal...
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...