FASE
2007
Springer
14 years 5 months ago
2007
Springer
The size of a test-suite has a direct impact on the costs and the effort of software testing. Especially during regression testing, when software is re-tested after some modifica...
FASE
2007
Springer
14 years 5 months ago
2007
Springer
Web applications are increasingly prominent in society, serving a wide variety of user needs. Engineers seeking to enhance, test, and maintain these applications and third-party pr...
FASE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
FASE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
FASE
2007
Springer
14 years 5 months ago
2007
Springer
FASE
2007
Springer
14 years 5 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
FASE
2007
Springer
14 years 5 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
EEMMAS
2007
Springer
14 years 5 months ago
2007
Springer
Although there is a huge amount of work and valuable proposals about agent oriented software engineering, it seems that the paradigm has not been fully accepted yet by software ind...
ECSA
2007
Springer
14 years 5 months ago
2007
Springer
ECSA
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...