Formal requirements specification of process control systems

Authors:
M. Hagemann
Affiliations:
Univ. of Karlsruhe, Karlsruhe, West Germany
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1987

Citing 3
Cited 1

Software development of real-time systems

Communications of the ACM
Requirements tools: phase I in a software development methodology

ACM SIGSOFT Software Engineering Notes
Use of data abstraction in process specification

ACM SIGSOFT Software Engineering Notes

Software engineering meets user services: a methodology for developing user

SIGUCCS '88 Proceedings of the 16th annual ACM SIGUCCS Conference on User Services

Quantified Score

Hi-index	0.01

Visualization

Abstract

The increasing size of software systems requires methods and tools for their development. Currently only a few tools are practically used. This paper presents a system which was developed in order to support requirements specification of process control systems. The paper introduces a formal language and describes, how the system supports the steps from ideas to a formal requirements specification.