Texts in Computer Science

Specification of Software Systems

Authors: Alagar, V.S., Periyasamy, K.

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-1-4757-2920-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
About this Textbook

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.

Table of contents (11 chapters)

Table of contents (11 chapters)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-1-4757-2920-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Specification of Software Systems
Authors
Series Title
Texts in Computer Science
Copyright
1998
Publisher
Springer-Verlag New York
Copyright Holder
Springer-Verlag New York
eBook ISBN
978-1-4757-2920-7
DOI
10.1007/978-1-4757-2920-7
Series ISSN
1868-0941
Edition Number
1
Number of Pages
XX, 422
Topics