SC Harvester Papers Database Interface

COSVAM: a technique for assessing software variability in software product families

S. Deelstra, Marco Sinnema, J. Nijhuis, J. Bosch. In: 20th IEEE International Conference on Software Maintenance, 2004. Proceedings.. 2004

Abstract: Evolution of variability is a key factor in the successful exploitation of commonalities in software product families. Assessment of variability can be used to determine how the variability provided by a product family should evolve. We present COSVAM (COVAMOF software variability assessment method), a variability assessment technique that specifically addresses evolution of variability. We exempl...

Architecting product diversification - formalizing variability dependencies in software product family engineering

M. Jaring, J. Bosch. In: Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings.. 2004

Case Study on a Process of Industrial MDA Realization -- Determinants of Effectiveness

M. Staron, Ludwik Kuzniarz, L. Wallin. In: Nord. J. Comput.. 2004

On the expected synergies between component-based software engineering and best practices in product integration

S. Larsson, I. Crnkovic, F. Ekdahl. In: Proceedings. 30th Euromicro Conference, 2004.. 2004

SaveCCM - a component model for safety-critical real-time systems

H. Hansson, Mikael Åkerholm, I. Crnkovic, Martin Törngren. In: Proceedings. 30th Euromicro Conference, 2004.. 2004

On the Development of Software Product-Family Components

J. Bosch. In: . 2004

COVAMOF: A Framework for Modeling Variability in Software Product Families

Marco Sinnema, S. Deelstra, J. Nijhuis, J. Bosch. In: . 2004

Experiences in Software Product Families: Problems and Issues During Product Derivation

S. Deelstra, Marco Sinnema, J. Bosch. In: . 2004

Workshop on Software Variability Management for Product Derivation ? Towards Tool Support

T. Männistö, J. Bosch. In: . 2004

Modeling component connectors in Reo by constraint automata

C. Baier, M. Sirjani, F. Arbab, J. Rutten. In: . 2004

Abstract: Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given connectors, verification of the behavior of a connector, etc. requires an operational semantic model suitable for model checking. In this paper we introduce cons...

Software Architecture Analysis of Usability

Eelke Folmer, J. V. Gurp, J. Bosch. In: . 2004

An empirical study on using stereotypes to improve understanding of UML models

Ludwik Kuzniarz, M. Staron, C. Wohlin. In: Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.. 2004

Algorithms for the Maximum Hamming Distance Problem

Ola Angelsmark, Johan Thapper. In: . 2004

A front-end tool for automated abstraction and modular verification of actor-based models

M. Sirjani, A. Shali, M. Jaghoori, H. Iravanchi, A. Movaghar. In: Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.. 2004

Component-Oriented Programming(WCOP 2004)

J. Bosch, Clemens Szyperski, W. Weck. In: . 2004