Sciweavers

3782 search results - page 314 / 757
» Engineering Social Order
Sort
View
CSMR
2008
IEEE
16 years 1 months ago
Using Architectural Models to Predict the Maintainability of Enterprise Systems
Modern software systems are highly interconnected and have been under constant change for many years. IT decision makers find it difficult to predict and plan change projects due ...
Robert Lagerström, Pontus Johnson
CSSE
2008
IEEE
16 years 1 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
ICST
2008
IEEE
16 years 1 months ago
A JML Compiler Based on AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
KBSE
2008
IEEE
16 years 1 months ago
A Framework for Dynamic Service Discovery
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...
Andrea Zisman, George Spanoudakis, James Dooley
160
Voted
KBSE
2008
IEEE
16 years 1 months ago
Composition of Qualitative Adaptation Policies
In a highly dynamic environment, software systems requires a capacity of self-adaptation to fit the environment and the user needs evolution, which increases the software archite...
Franck Chauvel, Olivier Barais, Isabelle Borne, Je...