SC Harvester Papers Database Interface

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

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

Abstract: We propose a new development scheme for quality-aware applications, quality-driven development (QDD), based on the Model-Driven Architecture (MDA) of Object Management Group OMG. We argue that software development in areas, such as real-time systems, should not only rely on code verification, but also on design verification, and show that a slightly extended MDA process offers the opportunity to i...

Method and system for forward collision avoidance for a motor vehicle

Jonas Ekmark, J. Jansson. In: . 2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications

F. Arbab, C. Baier, F. D. Boer, J. Rutten, M. Sirjani. In: . 2005

Staged adoption of software product families

J. Bosch. In: Softw. Process. Improv. Pract.. 2005

Regression testing of multi-tasking real-time systems: a problem statement

Daniel Sundmark, Anders Pettersson, Henrik Thane. In: SIGBED Rev.. 2005

COTS Component-Based Embedded Systems - A Dream or Reality?

I. Crnkovic, J. Axelsson, S. Graf, M. Larsson, R. V. Ommering et al. In: . 2005

Towards a flow analysis for embedded system C programs

J. Gustafsson, Andreas Ermedahl, B. Lisper. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. 2005

Towards a dependable component technology for embedded system applications

Mikael Åkerholm, Anders Möller, H. Hansson, Mikael Nolin. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. 2005

Development and use of dynamic product-line architectures

J. Andersson, J. Bosch. In: IEE Proc. Softw.. 2005

Product derivation in software product families: a case study

S. Deelstra, Marco Sinnema, J. Bosch. In: J. Syst. Softw.. 2005

Software architecture analysis of usability. Discussion

Eelke Folmer, J. V. Gurp, J. Bosch, Helmut Strieger, N. Graham et al. In: Lecture Notes in Computer Science. 2005

Software variability: process and management

J. Bosch. In: Softw. Process. Improv. Pract.. 2005

ENGINEERING HUMAN COMPUTER INTERACTION AND INTERACTIVE SYSTEMS

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

Chapter 5 Bridging Patterns

Eelke Folmer, M. V. Welie, J. Bosch. 2005

Abstract: Published as: Bridging Patterns; an approach to bridge gaps between SE and HCI. Eelke Folmer, Martijn van Welie, Jan Bosch, accepted for the Journal of Information and Software Technology. 17 Jan 2005. Abstract: Adding usability improving solutions during late stage development is to some extent restricted by the software architecture. However, few software engineers and human computer interaction...

Fourth IEEE/IFIP Working Conference on Software Architecture

J. Magee, Clemens Szyperski, J. Bosch. In: . 2005