Gilham, L.-M., Goldberg, A., and Wang, T. C. Toward reliable reactive systems. In Proceedings of the 5th International Workshop on Software Specification and Design (Pittsburgh, PA, May 1989).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....at Kestrel Institute over the last ten years, and the realization that they shared a common conceptual basis. These include the algorithm design system Kids [Smith 90] the data type refinement system Dtre [Blaine and Goldberg 91] Reacto, a system for the development of reactive systems [Gilham et al. 89] and a synthesis system for visual presentations [Green 87] An overview is presented in [Jullig 93] 7 Conclusions 7.1 Summary We presented the specification and refinement concepts of Specware, a system aimed at supporting the application of formal methods to system development. Specware ....

Gilham, L.-M., Goldberg, A., and Wang, T. C. Toward reliable reactive systems. In Proceedings of the 5th International Workshop on Software Specification and Design (Pittsburgh, PA, May 1989).

....is the composition of pre defined arrows, etc. Our approach works not only for functional specifications but also for non functional ones. For example, Figure 2 models an air traffic control system as a hierarchical finite state machine. This model can be manipulated by the Reacto system [6], which supports the acquisition, verification, and simulation of reactive specifications. How are such reactive systems folded into the framework of specifications, morphisms, and diagrams The essential idea is to treat a reactive specification as a new kind of problem specification (the problem ....

Gilham, L.-M., Goldberg, A., and Wang, T. C. Toward reliable reactive systems. In Proceedings of the 5th International Workshop on Software Specification and Design (Pittsburgh, PA, May 1989).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC