Incremental requirement specification for evolving systems

Authors:
Bengt Jonsson;Tiziana Margaria;Gustaf Naeser;Jan Nyström;Bernhard Steffen
Affiliations:
Department of Computer Systems, Uppsala University, P.O. Box 325, S-751 05 Uppsala, Sweden;Department of Computer Systems, Uppsala University, P.O. Box 325, S-751 05 Uppsala, Sweden and METAFrame Technologies GmbH, Borussiastr. 112, D-44149 Dortmund, Germany;Department of Computer Systems, Uppsala University, P.O. Box 325, S-751 05 Uppsala, Sweden;Department of Computer Systems, Uppsala University, P.O. Box 325, S-751 05 Uppsala, Sweden;LS V, Universität Dortmund, Baroper Str.301, D-44221 Dortmund, Germany
Venue:
Nordic Journal of Computing
Year:
2001

Citing 5
Cited 3

Parallel program design: a foundation

Parallel program design: a foundation
Implementing faceted classification for software reuse

Communications of the ACM - Special issue on software engineering
Integrating obstacles in goal-driven requirements engineering

Proceedings of the 20th international conference on Software engineering
A feature interaction benchmark for the first feature interaction detection contest

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on the feature interactions in telecommunications systems
A Constraint-Oriented Service Creation Environment

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems

Model Generation by Moderated Regular Extrapolation

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Proof Planning for Feature Interactions: A Preliminary Report

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Active continuous quality control

Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Action systems have been used successfully to describe discrete systems, i.e., systems with discrete control acting upon a discrete state space. In this paper we define continuous action systems that extend the action system approach to also model ...