A Pragmatic Task Design Approach Based on a
Ward/Mellor Real-Time Structured Specification
Javier Tuya, Luciano Sánchez, Rubén Zurita, José A. Corrales
Software Engineering, Springer-Verlag, Vol.
LNCS #717, pp. 301-312, 1993
(ps.zip)
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.
Index - Testing
- Personal Page