SC Harvester Papers Database Interface

Documenting after the fact: Recovering architectural design decisions

A. Jansen, J. Bosch, P. Avgeriou. In: J. Syst. Softw.. 2008

Comparing three coordination models: Reo, ARC, and PBRD

C. Talcott, M. Sirjani, Shangping Ren. In: Sci. Comput. Program.. 2008

Abstract: Three models of coordination-Reo, Actors-Roles-Coordinators (ARC), and Policy-based Russian Dolls (PBRD)-are compared and contrasted according to a set of coordination features. Mappings between their semantic models are defined. Use of the models is illustrated by a small case study....

LonWorks – open communication using open network systems

Niels Jørgen Strøm. In: World Pumps. 2008

A framework for performance evaluation and functional verification in stochastic process algebras

Hossein Hojjat, M. Mousavi, M. Sirjani. In: . 2008

LTS-BT: a tool to generate and select functional test cases for embedded systems

E. Cartaxo, W. Andrade, F. D. O. Neto, Patricia D. L. Machado. In: . 2008

A Survey of Context Adaptation in Autonomic Computing

C. Klein, Reiner N. Schmid, C. Leuxner, W. Sitou, B. Spanfelner. In: Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08). 2008

Supporting Roadmapping of Quality Requirements

B. Regnell, Richard Berntsson-Svensson, Thomas Olsson. In: IEEE Software. 2008

Modeling Variability and Testability Interaction in Software Product Line Engineering

M. Jaring, R. Krikhaar, J. Bosch. In: Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008). 2008

Educators' Symposium

M. Staron. In: . 2008

Methodology for Requirements Engineering in Model-Based Projects for Reactive Automotive Software

Niklas Mellegård, M. Staron. In: . 2008

Proceedings of the 3 rd Workshop on Quality in Modeling

J. Sourrouille, M. Staron. 2008

Case study of company's relationship with open source community in open source software development

Juho Lindman, Topi Uitto. In: . 2008

THE SURVEY OF MODEL BASED TESTING AND INDUSTRIAL TOOLS

Mohammad Mahdi Eslamimehr, K. Sandahl, Mariam Kamkar. 2008

Modelling Capacity Requirements in Large-Scale Telecommunication Systems

A. Borg, Mikael Patel, K. Sandahl. In: . 2008

Using Software Evolvability Model for Evolvability Analysis

H. Pei-Breivold, I. Crnkovic. In: . 2008