Cover Image

Formal Specification : Techniques and Applications /

Show other versions (1)

Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which...

Full description

Bibliographic Details
Main Author: Nissanke, Nimal
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London, 1999.
Subjects:
Computer science.
Software engineering.
Logic design.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Introduction
  • Schema Language
  • An Approach to Specification
  • Specification for Fun
  • A Specifiction for Clocks
  • Reasoning About Specifications
  • Specification of a Network Protocal
  • Object Oriented Specification
  • Specification of Safety
  • An Overview of VDM
  • Algebraic Approach to Specification
  • Algebraic Specification in CLEAR
  • A. Exercises on Reading Formal Specifications
  • B. Exercises on Writing Formal Specifications
  • C. The Mathematical Notation
  • References
  • Index.