Skip to main content
SpringerLink
Log in

Formal Specification

Techniques and Applications

  • Textbook
  • © 1999

Overview

Authors:
  1. Nimal Nissanke

    1. Department of Computing Science, University of Reading, Whiteknights, Reading, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Introduction

    • Nimal Nissanke
    Pages 1-9

  3. Schema Language

    • Nimal Nissanke
    Pages 11-47

  4. An Approach to Specification

    • Nimal Nissanke
    Pages 49-67

  5. Specification for Fun

    • Nimal Nissanke
    Pages 69-80

  6. A Specification for Clocks

    • Nimal Nissanke
    Pages 81-93

  7. Reasoning About Specifications

    • Nimal Nissanke
    Pages 95-110

  8. Specification of a Network Protocol

    • Nimal Nissanke
    Pages 111-140

  9. Object Oriented Specification

    • Nimal Nissanke
    Pages 141-162

  10. Specification of Safety

    • Nimal Nissanke
    Pages 163-187

  11. An Overview of VDM

    • Nimal Nissanke
    Pages 189-212

  12. Algebraic Approach to Specification

    • Nimal Nissanke
    Pages 213-239

  13. Algebraic Specification in CLEAR

    • Nimal Nissanke
    Pages 241-263

  14. Back Matter

    Pages 265-295
    Download chapter PDF
Back to top

Keywords

About this book

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 are available. Mathematical principles are explained using examples from everyday life (like card games), in order to "demystify" them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.

Authors and Affiliations

  • Department of Computing Science, University of Reading, Whiteknights, Reading, UK

    Nimal Nissanke

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation