A Specifier’s Introduction to Formal Methods

Computer

Volumn 23, Issue 9, 1990, Pages 8-22

  Wing, Jeannette M ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--ALGORITHMIC LANGUAGES;

FORMAL METHODS; FORMAL SPECIFICATION LANGUAGES;

COMPUTER SOFTWARE;

EID: 0025480317     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.58215     Document Type: Article

References (12)

1. B. Meyer, “On Formalism in Specification,” IEEE Software, Jan. 1985, pp. 6–26.
2. L. Lamport, “A Simple Approach to Specifying Concurrent Systems,” Comm. ACM, Vol. 32, No. 1, Jan. 1989, pp. 32–45.
3. J.V. Guttag, J.J. Horning, and J.M. Wing, “Some Remarks on Putting Formal Specifications to Productive Use,” Science of Computer Programming, North-Holland, Vol. 2, No. 1, Oct. 1982, pp. 53–68.
4. J.V. Guttag, J.J. Horning, and J.M. Wing, “Larch in Five Easy Pieces,” Tech. Report 5, DEC Systems Research Center, July 1985.
5. C.B. Jones, Software Development: A Rigorous Approach, Prentice Hall Int’l, 1980.
6. J.M. Spivey, Introducing Z: A Specification Language and its Formal Semantics, Cambridge Univ. Press, 1988.
7. C.B. Jones, Systematic Software Development Using VDM, Prentice Hall Int’l, 1986.
8. J.V. Guttag, J.J. Horning, and J.M. Wing, “The Larch Family of Specification Languages,” IEEE Software, Vol. 2, No. 5, Sept. 1985, pp. 24–36.
9. R. Koymans, J Vytopil, and W.P. de Roever, “Real-Time Programming and Asynchronous Message Passing,” Proc. Second ACM Symp. Principles Distributed Programming, 1983, pp. 187–197.
10. A. Pnueli, “Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends,” in Current Trends in Concurrency: Overviews and Tutorials, W.-P. de Roever and G. Rozenberg, eds., Lecture Notes in Computer Science 224, Springer-Verlag, N.Y., 1986, pp. 510–584.
11. C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall Int’l, 1985.
12. L. Lamport, “Specifying Concurrent Program Modules,” ACM Trans. Programming Languages and Systems, Vol. 5, No. 2, Apr. 1983, pp.190–222.