Skip to main content
SpringerLink
Log in
Book cover

Specification of Software Systems

  • Textbook
  • © 1998

Overview

Authors:
  1. V. S. Alagar

    1. Department of Computer Science, Concordia University, Montreal, Canada

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. K. Periyasamy

    1. Department of Computer Science, University of Manitoba, Winnipeg, Canada

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Texts in Computer Science (TCS)

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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xx
    Download chapter PDF

  2. The Role of Specification

    • V. S. Alagar, K. Periyasamy
    Pages 1-11

  3. Specification Activities

    • V. S. Alagar, K. Periyasamy
    Pages 13-21

  4. Specification Qualities

    • V. S. Alagar, K. Periyasamy
    Pages 23-30

  5. Abstraction

    • V. S. Alagar, K. Periyasamy
    Pages 31-38

  6. Formal Systems

    • V. S. Alagar, K. Periyasamy
    Pages 39-78

  7. Logic

    • V. S. Alagar, K. Periyasamy
    Pages 79-135

  8. Set Theory and Relations

    • V. S. Alagar, K. Periyasamy
    Pages 137-169

  9. Algebraic Specification

    • V. S. Alagar, K. Periyasamy
    Pages 171-217

  10. Vienna Development Method

    • V. S. Alagar, K. Periyasamy
    Pages 219-279

  11. The Z Notation

    • V. S. Alagar, K. Periyasamy
    Pages 281-360

  12. Larch

    • V. S. Alagar, K. Periyasamy
    Pages 361-416

  13. Back Matter

    Pages 417-422
    Download chapter PDF
Back to top

Keywords

About this book

This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The book introduces several formal specification techniques and illustrates the expressive power of each technique with a number of examples. General Characteristics Traditional textbooks on software engineering discuss the difficulties and chal­ lenges that lie on the path from requirements analysis to implementation of a software product. Most of these books describe some techniques in detail and give hints on implementation of these techniques. Only a few among them deal with important software engineering principles and techniques, and discuss how a particular technique may be used to implement a given principle. There is very little exposure in these books to a rigorous approach to, or a systematic study of, the construction of verifiable software. Those who have acquired an understanding of the fundamental principles of software engineering from traditional textbooks will find the following characteristics of this book quite relevant to the practice of software engineering: • The book deals with specification. The principal characteristic of this book is to discuss formalisms that provide a theoretical foundation for the principles of software engineering, and are appropriate to the requirements and design stages of software development.

Authors and Affiliations

  • Department of Computer Science, Concordia University, Montreal, Canada

    V. S. Alagar

  • Department of Computer Science, University of Manitoba, Winnipeg, Canada

    K. Periyasamy

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation