Specifying and verifying requirements of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Accommodating interference in the formal design of concurrent object-based programs
Formal Methods in System Design
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
An Attempt to Reason about Shared-State Concurrency in the Style of VDM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Hi-index | 0.00 |
Creating the specification of a system by focusing primarily on the detailed properties of the digital controller can lead to complex descriptions that are nearly incoherent. An argument given by Hayes, Jackson, and Jones provides reasons to focus first on the wider environment in which the system will reside. In their approach are two major ideas: pushing out the specification boundaries, and carefully distinguishing between the requirements of the system and the assumptions about the environment. Pushing out the boundaries of the system specification to include the pragmatic intent of the system being specified allows the specification to be understood relative to the environmental context, rather than remaining a mysterious black box in isolation. Clarifying the distinction between assumptions about the environment and requirements that the specification must meet increases the clarity of the specification, and has the potential to seriously reduce the complexity of the final specification. The example of a gas burner is explored in depth to illustrate this approach to system specification.