Formal Requirements Engineering Using Observer Models

Authors:
Andreas Nonnengart;Georg Rock;Werner Stephan
Affiliations:
-;-;-
Venue:
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Year:
2002

Citing 8
Cited 0

The existence of refinement mappings

Theoretical Computer Science
A theory of timed automata

Theoretical Computer Science
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Using Hybrid Automata to Express Realtime Properties in VSE-II

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference
HYTECH: The Cornell HYbrid TECHnology Tool

Hybrid Systems II
Deduction in the Verification Support Environment (VSE)

FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
VSE: Controlling the Complexity in Formal Software Developments

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Possibilistic Definitions of Security - An Assembly Kit

CSFW '00 Proceedings of the 13th IEEE workshop on Computer Security Foundations

Quantified Score

Hi-index	0.00

Visualization

Abstract

Today we are confronted with an enormous variety of formal software engineering approaches and tools. Among these are many that address the critical early stages of software development. However, only little attention has been paid to the integration of different specialised approaches and to the overall development process.In this paper we present a technique for formal requirements analysis (observer models) that deals with particular perspectives on a system rather than with particular aspects of it.A realistic gasburner example illustrates the overall approach.