SC Harvester Papers Database Interface

Infinite Unfolding and Transformations of Nondeterministic Programs

B. Lisper. In: Fundamenta Informaticae. 2005

An empirical assessment of using stereotypes to improve reading techniques in software inspections

M. Staron, L. Kuzniarz, Christian M. Thurn. In: ACM SIGSOFT Softw. Eng. Notes. 2005

Abstract: Stereotypes were introduced into the Unified Modeling Language (UML) in order to provide a means of customizing the language for particular needs. The stereotypes can increase the comprehension of UML diagrams and therefor influence reading techniques used for inspections of software artefacts. In this paper we evaluate how the usage of stereotypes in UML designs influences outcomes of three readi...

A taxonomy of variability realization techniques: Research Articles

Mikael Svahnberg, J. V. Gurp, J. Bosch. In: Software - Practice and Experience. 2005

Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA

Alfredo Capozucca, B. Gallina, N. Guelfi, Patrizio Pelliccione. In: . 2005

Design preservation over subsequent releases of a software product: a case study of Baan ERP

J. V. Gurp, S. Brinkkemper, J. Bosch. In: J. Softw. Maintenance Res. Pract.. 2005

Abstract: SUMMARY We present the results of two case studies we conducted at Baan in the Netherlands. At the time of conducting the case studies, Baan was part of Invensys plc. (Baan is now owned by SSA Global Technologies.) In these case studies we investigated how companies identify design erosion and address this in their software, a practice we call ‘design preservation’. In this study, we selected two ...

A taxonomy of variability realization techniques: Research Articles

Mikael Svahnberg, J. V. Gurp, J. Bosch. In: Software - Practice and Experience. 2005

Abstract: Development of software product families relies heavily on the use of variability to manage the differences between products by delaying design decisions to later stages of the development and usage of the constructed software systems. Implementation of variability is not a trivial task, and is governed by a number of factors. In this paper, we describe the factors that are relevant in determining...

On the Problems of the JPMs

W. Cazzola, A. Cicchetti, A. Pierantonio. In: . 2005

Concretizing the vision of a future integrated system - experiences from industry

R. Land, I. Crnkovic, S. Larsson. In: 27th International Conference on Information Technology Interfaces, 2005.. 2005

Abstract: When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Important challenges are how to create a realistic vision of a future integrated system, how to make the vision concrete enough to be able to work towards the vision, and of course to carry out the actual integration process. This paper focuses on how to co...

Partitioning Based Algorithms for Some Colouring Problems

Ola Angelsmark, Johan Thapper. In: . 2005

Case Study: Software Product Integration Practices

S. Larsson, I. Crnkovic. In: . 2005

Extended Rebeca: a component-based actor language with synchronous message passing

M. Sirjani, F. D. Boer, A. Movaghar, A. Shali. In: Fifth International Conference on Application of Concurrency to System Design (ACSD'05). 2005

An empirical assessment of using stereotypes to improve reading techniques in software inspections

M. Staron, Ludwik Kuzniarz, Christian M. Thurn. In: ACM SIGSOFT Software Engineering Notes. 2005

Component-based software engineering for embedded systems

I. Crnkovic. In: Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.. 2005

Report of the International Symposium on Component-Based Software Engineering

I. Crnkovic, Ralf H. Reussner, H. Schmidt, Kevin Simons, J. Stafford et al. In: ACM SIGSOFT Softw. Eng. Notes. 2005

Abstract: The International Symposium on Component-Based Software Engineering (CBSE7) was held at 28th International Conference on Software Engineering in Edinburgh, Scotland, May 24-25, 2004. The Symposium brought together researchers and practitioners from several communities: component technology, composition languages, compositional analysis, software architecture, software certification and scientific ...

Improving Software Quality in Safety-Critical Applications by Model-Driven Verification

Anders Henriksson, U. Assmann, J. Hunt. In: . 2005