Title | A pragmatic task design approach based on a Ward/Mellor real-time structured specification |
Publication Type | Conference Paper |
Year of Publication | 1993 |
Authors | Tuya, J., Sánchez L., Zurita R., and Corrales J. A. |
Editor | Sommerville, Ian, and Paul Manfred |
Conference Name | Software Engineering –- ESEC '93 |
Pagination | 301–312 |
Publisher | Springer Berlin Heidelberg |
Conference Location | Berlin, Heidelberg |
ISBN Number | 978-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. |