Systematising Reactive System Design

Authors:
T. S. E. Maibaum;Pauline Kan;Kevin Lano
Affiliations:
-;-;-
Venue:
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Year:
1999

Citing 10
Cited 1

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Four dark corners of requirements engineering

ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal methods and traditional engineering

Journal of Systems and Software - Special issue on formal methods technology transfer
Formal Specification and Synthesis of Procedural Controllers for Process Systems

Formal Specification and Synthesis of Procedural Controllers for Process Systems
The B Language and Method: A Guide to Practical Formal Development

The B Language and Method: A Guide to Practical Formal Development
Design of Reactive Control Systems for Event-Drivem Operations

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Planware ¾ Domain-Specific Synthesis of High-Performance Schedulers

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A Mathematical Toolbox for the Software Architec

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design

Model projection: simplifying models in response to restricting the environment

Proceedings of the 33rd International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reactive systems are a very important class of systems for engineering organisations. The role of software is now dominant and its share of system construction costs is ever increasing. However, in spite of much research devoted to reactive systems development, proper engineering languages, methods and tools, as construed by the conventional engineering community, are not available to support the technology. We examine the state of play and suggest a way ahead for putting into place appropriate technology for industry.