Advertisement

Specification of Software Systems

  • V. S. Alagar
  • K. Periyasamy

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

Table of contents

  1. Front Matter
    Pages i-xx
  2. V. S. Alagar, K. Periyasamy
    Pages 1-11
  3. V. S. Alagar, K. Periyasamy
    Pages 13-21
  4. V. S. Alagar, K. Periyasamy
    Pages 23-30
  5. V. S. Alagar, K. Periyasamy
    Pages 31-38
  6. V. S. Alagar, K. Periyasamy
    Pages 39-78
  7. V. S. Alagar, K. Periyasamy
    Pages 79-135
  8. V. S. Alagar, K. Periyasamy
    Pages 137-169
  9. V. S. Alagar, K. Periyasamy
    Pages 171-217
  10. V. S. Alagar, K. Periyasamy
    Pages 219-279
  11. V. S. Alagar, K. Periyasamy
    Pages 281-360
  12. V. S. Alagar, K. Periyasamy
    Pages 361-416
  13. Back Matter
    Pages 417-422

About this book

Introduction

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.

Keywords

Mathematica Vienna Development Method Z notation development formal method formal methods formal specification language logic software software development software engineering

Authors and affiliations

  • V. S. Alagar
    • 1
  • K. Periyasamy
    • 2
  1. 1.Department of Computer ScienceConcordia UniversityMontrealCanada
  2. 2.Department of Computer ScienceUniversity of ManitobaWinnipegCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4757-2920-7
  • Copyright Information Springer-Verlag New York 1998
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-2922-1
  • Online ISBN 978-1-4757-2920-7
  • Series Print ISSN 1868-0941
  • Series Online ISSN 1868-095X
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering