My book is out!

To: horning@src.dec.com, wing@cs.cmu.edu, we@cs.tu-berlin.de, leavens@cs.iastate.edu, cc@lri.lri.fr
Subject: My book is out!
From: Tan Yang Meng <tyangmen@Trantor.DSO.gov.SG>
Date: Thu, 26 Oct 95 10:25:19 SST
Delivery-Date: Wed, 25 Oct 95 19:50:34 -0700
Reply-To: tyangmen@Trantor.DSO.gov.SG

FYI.

> Keywords:
> Software Engineering
> Systems Integration
> Programming Languages
> 
> Formal Specification Techniques for Engineering Modular C
> Programs
> 
> by
> Tan Yang Meng
> Defence Science Organisation, Singapore
> 
> THE KLUWER INTERNATIONAL SERIES IN SOFTWARE ENGINEERING
> VOLUME 1
> 
> 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.
> 
> Contents:
> Foreword. Preface. 1. Introduction. 2. Overview
> of LCL. 3. Supporting programming styles. 4. Specification
> techniques. 5. Redundancy in specifications. 6.
> Reengineering using LCL. 7. The semantics of LCL. 8.
> Further work and summary. A. LCL reference grammar. B.
> Relating LCL types and LSL sorts. C. LCL built-in operators.
> D. Specification case study. E. Getting larch tools and
> information. References. Index.
> 
> Kluwer Academic Publishers, Boston
> 
> Date of publishing: November 1995
> 232 pp.
> Hardbound
> ISBN: 0-7923-9653-7
> Prices:
> NLG: 185.00
> USD: 99.50
> GBP: 70.75
> 
> =============================================================================
>                             ORDER FORM
> 
> Author: Tan Yang Meng
> Title: Formal Specification Techniques for Engineering Modular C
> Programs
> ( ) Hardbound / ISBN: 0-7923-9653-7
>     NLG: 185.00 USD: 99.50 GBP: 70.75
> 
> Ref: KAPIS
> 
> ( ) Payment enclosed to the amount of ___________________________
> ( ) Please send invoice
> ( ) Please charge my credit card account:
> 
>     Card no.: |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|  Expiry date: ______________
> 
>     () Access       () American Express     () Mastercard
>     () Diners Club  () Eurocard             () Visa
> 
>     Name of Card holder: ___________________________________________________
> 
> Delivery address:
> 
> Title       : ___________________________ Initials: _______________M/F______
> 
> First name  : ______________________ Surname: ______________________________
> 
> Organization: ______________________________________________________________
> 
> Department  : ______________________________________________________________
> 
> Address     : ______________________________________________________________
> 
> Postal Code : ___________________ City: ____________________________________
> 
> Country     : _____________________________Telephone: ______________________
> 
> Email       : ______________________________________________________________
> 
> Date        : _____________________ Signature: _____________________________
> 
> Our European VAT registration number is: |_|_|_|_|_|_|_|_|_|_|_|_|_|_|
> 
> To be sent to:
> For customers in Mexico, USA, Canada        Rest of the world:
> and Latin America:
> 
> Kluwer Academic Publishers                  Kluwer Academic Publishers Group
> Order Department                            Order Department
> P.O. Box 358                                P.O. Box 322
> Accord Station                              3300 AH Dordrecht
> Hingham, MA 02018-0358                      The Netherlands
> U.S.A.
> 
> Tel    : 617 871 6600                       Tel   : +31 78 6392392
> Fax    : 617 871 6528                       Fax   : +31 78 6546474
> Email  : kluwer@wkap.com                    Email : services@wkap.nl
> 
> For Looseleaf Publications on Law:
> 
> Libresso Distribution Centre
> P.O. Box 23
> 7400 GA Deventer
> The Netherlands
> 
> Tel    : +31 5706 33155
> Fax    : +31 5706 33834
> 
> Payment will be accepted in any convertible currency. Please check the rate
> of exchange with your bank. Prices are subject to change without notice. All
> prices are exclusive of Value Added Tax (VAT). Customers in the Netherlands
> please add 6% VAT. Customers from other countries in the European Community:
> * please fill in the VAT number of your institute/company in the appropriate
>   space on the orderform: or
> * please add 6% VAT to the total order amount (customers from the U.K. are
>   not charged VAT).
> 
> =============================================================================
> 
> <HDR>:Tan Yang Meng; Formal Specification Techniques for Engineering Modular C
> Programs
> <BT>Formal Specification Techniques for Engineering Modular C
> Programs
> <AUT>Tan Yang Meng
> <SR>THE KLUWER INTERNATIONAL SERIES IN SOFTWARE ENGINEERING  1
> <SC>SOFT
> <KW>Software Engineering
> Systems Integration
> Programming Languages
> <PD>November 1995
> 
>