Formal Specification Techniques for Engineering Modular C Programs

  • Yang Meng Tan

Part of the The Springer International Series in Software Engineering book series (SOFT, volume 1)

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Yang Meng Tan
    Pages 1-15
  3. Yang Meng Tan
    Pages 17-24
  4. Yang Meng Tan
    Pages 25-33
  5. Yang Meng Tan
    Pages 35-66
  6. Yang Meng Tan
    Pages 67-91
  7. Yang Meng Tan
    Pages 93-107
  8. Yang Meng Tan
    Pages 109-143
  9. Yang Meng Tan
    Pages 145-150
  10. Back Matter
    Pages 151-213

About this book


Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation.
Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged.
Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry.


C programming language Factor data types design documentation language object oriented design programming programming language semantics software software engineering

Authors and affiliations

  • Yang Meng Tan
    • 1
  1. 1.Defence Science OrganisationSingapore

Bibliographic information

  • DOI
  • Copyright Information Kluwer Academic Publishers 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-6850-2
  • Online ISBN 978-1-4615-4125-7
  • Series Print ISSN 1384-6469
  • Buy this book on publisher's site