Composing specifications in VSPEC

ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

Volumn , Issue , 2000, Pages 45-53

  Venkataraman, A ^a   Rangarajan, M ^a   Alexander, P ^b  

^a University of Cincinnati   (United States)

^b University of Kansas   (United States)

Author keywords

Computer languages; Computer science; Design methodology; Formal specifications; Impedance; Performance analysis; Process design; Specification languages; System analysis and design; Telecommunications

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DESIGN; ELECTRIC IMPEDANCE; FORMAL METHODS; PROCESS DESIGN; SPECIFICATION LANGUAGES; SPECIFICATIONS; TELECOMMUNICATION;

BOOLEAN OPERATORS; DESIGN METHODOLOGY; EQUIVALENCE CHECKING; FORMAL TECHNIQUES; PERFORMANCE ANALYSIS; PRE AND POST CONDITIONS; REQUIREMENTS SPECIFICATION LANGUAGE; SYSTEM ANALYSIS AND DESIGN;

FORMAL SPECIFICATION;

EID: 0005019763     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.2000.873804     Document Type: Conference Paper

References (10)

1. P. Ashenden. The Designers Guide to VHDL. Morgan Kaufmann Publishers, Inc, San Mateo, CA, 1996.
2. Judy Crow, John Rushby, Natarajan Shankar, and Mandayan Srivas. A Tutorial Introduction to PVS. SRI International, Menlo Park, CA, June 1995. Presented at WIFT'95.
3. J. Guttag, J. Horning, and J. Wing. The Larch Family of Specification Languages. IEEE Software, 2(5):24-36, 1985.
4. John V. Guttag and James J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, NY, 1993.
5. Jonathan Jacky. The way of Z : practical programming with formal methods. Cambridge University Press, 1997.
6. Knowledge Based Software Engineering Laboratory, University of Cincinnati. VSPEC Language Reference Manual, 1996.
7. Oxford University Computing Laboratory. Formal Methods - The B Method. World Wide Web : http://archive.comlab.ox.ac.uk/formal-methods/b.html.
8. S. Owre, J. Rushby, and N. Shankar. PVS: A Prototype Verification System. In D. Kapur, editor, Proc. of 11th International Conference on Automated Deduction, volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752, Saratoga, NY, June 1992. Springer-Verlag.
9. John Penix and Perry Alexander. Efficient specification-based component retrieval. In Automated Software Engineering, volume 6, pages 139-170. Kluwer Academic Publishers, 1999.
10. Jim Woodcock and Jim Davies. Using Z : Specification, refinement and Proof. Prentice Hall, 1996.