A pragmatic task design approach based on a Ward/Mellor real-time structured specification

TitleA pragmatic task design approach based on a Ward/Mellor real-time structured specification
Publication TypeConference Paper
Year of Publication1993
AuthorsTuya, J., Sánchez L., Zurita R., and Corrales J. A.
EditorSommerville, Ian, and Paul Manfred
Conference NameSoftware Engineering –- ESEC '93
Pagination301–312
PublisherSpringer Berlin Heidelberg
Conference LocationBerlin, Heidelberg
ISBN Number978-3-540-47972-7
Abstract

This paper shows some details about the development of a distributed system for the control and supervision of all processes related to the coal feeding a thermal power station. Starting from a structured specification based on the Ward/Mellor methodology for real-time systems, a method for systematic design and implementation is built. The method can be automated in the future, and includes a series of guidelines, rules, procedures, reusable components and graphical representations to successfully derive the implementation from the structured specification.