Formal Specification Techniques for Engineering Modular C Programs

By: Tan Yang Meng

Write A Review

Hardcover | 1 December 2009

At a Glance

Hardcover
232 Pages

Dimensions(cm)
24.77 x 16.51 x 1.91

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $49.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Software Engineering Compilers & Interpreters

Foreword
Preface
Introduction	p. 1
Overview of LCL	p. 17
Supporting Programming Styles	p. 25
Specification Techniques	p. 35
Redundancy in Specifications	p. 67
Reengineering Using LCL	p. 93
The Semantics of LCL	p. 109
Further Work and Summary	p. 145
App. A LCL Reference Grammar	p. 151
App. B Relating LCL Types and LSL Sorts	p. 155
App. C LCL Built-In Operators	p. 159
App. D Specification Case Study	p. 165
App. E Getting Larch Tools and Information	p. 203
References	p. 205
Index	p. 209
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Specification Techniques for Engineering Modular C Programs

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

C# Programming in easy steps

Master C# fundamentals!

Applied Mathematics with F#

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, June 29â"July 3, 2026, Proceedings

Java in Two Semesters

Featuring JavaFX

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison [With Access Code]

O'Reilly Ser.

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Pragmatic Programmers

Pragmatic Programmers

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I

Practical Usage of TSO REXX

Technology in Action Series

Technology in Action Series

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings

Foundation of Software Science and Computation Structures

Third International Conference, FOSSACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000, Proceedings

This product is categorised by