Sciweavers

2124 search results - page 134 / 425
» Changing the paradigm of software engineering
Sort
View
EWSA
2004
Springer
14 years 2 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
ICSM
2003
IEEE
14 years 2 months ago
Towards a Versioning Model for Component-based Software Assembly
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
Jaroslav Gergic
VAMOS
2010
Springer
13 years 10 months ago
Variability Modelling for Model-Driven Development of Software Product Lines
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
Ina Schaefer
CRIWG
2004
13 years 10 months ago
Increasing Awareness in Distributed Software Development Workspaces
Abstract. This work presents a middleware for collaborative applications that increase product and workspace awareness information available to users of computer-aided software eng...
Marco A. S. Mangan, Marcos R. S. Borges, Clá...
KBSE
2010
IEEE
13 years 7 months ago
Eliminating products to test in a software product line
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...