Software is troublesome to develop, maintain, and reuse. Two parts that contribute to this drawback are the scarcity of modular design and good program documentation. The first makes software modifications more durable to implement. The second makes packages additional obscure and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel technique to promoting program modularity. The book presents a correct specification language that promotes software modularity by way of utilizing abstract data varieties, even though the underlying programming language won’t have such assist. This language is structured to allow useful information to be extracted from a specification, which is then used to hold out consistency checks between the specification and its implementation.
Formal Specification Techniques for Engineering Modular C Programs moreover describes a specification-pushed, software re-engineering course of model for enhancing current packages. The aim of this course of is to make current packages easier to maintain and reuse whereas defending their necessary functionalities unchanged.
Viewers: Applicable as a secondary textual content material for graduate diploma packages in software engineering, and as a reference for researchers and practitioners in business.