Generating Software from Specifications

 
9788130909745: Generating Software from Specifications
View all copies of this ISBN edition:
 
 

New

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780763741242: Generating Software From Specifications

Featured Edition

ISBN 10:  0763741248 ISBN 13:  9780763741242
Publisher: Jones & Bartlett Learning, 2007
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Anthony M. Sloane,Uwe Kastens,William M. Waite
Published by Viva Books Private Limited (2008)
ISBN 10: 813090974X ISBN 13: 9788130909745
New Paperback First Edition Quantity Available: > 20
Seller:
BookVistas
(New Delhi, India)
Rating
[?]

Book Description Viva Books Private Limited, 2008. Paperback. Condition: New. First edition. Generating Software from Specification is the ideal resource for those interested in increasing their software development productivity. It demonstrates how to leverage existing generation technology to achieve software reuse and thereby reduce the cost and improve the reliability of current software.The authors?s approach can be applied incrementally without disrupting current projects or requiring changes in existing programs or methodology. Robust public-domain tools are available to support these component-based software development techniques on a number of levels, from simple turn-key operations to custom software generation. Key Features of Generating Software from Specifications. ? Familiarizes the reader with software development as a process of composing systems from reusable components. ? Applies to any software development task, and can be combined with virtually any existing methodology to gain additional leverage with little cost. ? Facilitates rapid development of customized analysis and code generation tools. ? Provides complete examples to illustrate the techniques and demonstrate the leverage that can be obtained. Contents: Introduction: Generators ; Domain-Specific Language; Reuse ? I How Generators Provide Leverage ? Structured Output: The Web Site Maintenance Problem; Generating the Memex Web Site Text Module; Programming the Memex Web Site Text Module; Hand Coding vs. Generation ? Storing Entities with Properties: The Student Data Problem; Generating a Property Storage Module; Programming a Property Storage Module; Hand Coding vs. Generation ? Visiting Trees: The Table Layout Problem; Generating the Table Layout Module; Programming the Table Layout Module; Hand Coding vs. Generation ? Names and Entities: The Structure Generator Task; Specifying Name Analysis for the Structure Generator; Programming the Name Analysis Phase ? Constructing Trees: The Calendar Tree Construction Problem; Generating a Calendar Structuring Program; Programming a Calendar Structuring Program; Hand Coding vs. Generation ? An Integrated Approach: Task Decomposition; Generating a Structure Generator; Programming a Structure Generator; Hand Coding vs. Generation ? II Support Infrastructure ? Execution Monitoring: Source-Level Execution Models; Specification-Level Execution Models; The Noosa Execution Monitor; Debugging Situations; Implementing Execution Monitors ? Modularity and Generators: A File-Based Module Mechanism; Literate Programming; FunnelWeb Specifications ? Software Manufacturing: Two Manufacturing Scenarios; Defining a Manufacturing Process; Implementing the Process ? III Complete Examples ? Desk Calculator: Expressions; Expression Values; Extensions; Lessons Learned ? Language Extension: Extending Java with Formal Specifications; Implementing Language Extensions; Unparsing; Implementing the Java Extension; Lessons Learned ? A Pattern-based Text Generator : Structuring; Name Analysis; Property Analysis; Transformation ? A Manufacturing Problem: The document Manufacturing Process; Automating the Process; The TeX Package; A Filter for included Filenames ? Bibliography ? Index Printed Pages: 426. Seller Inventory # 5227

More information about this seller | Contact this seller

Buy New
US$ 8.75
Convert currency

Add to Basket

Shipping: US$ 9.33
From India to U.S.A.
Destination, rates & speeds

2.

Uwe Kastens Anthony M. Sloane William M. Waite
Published by VIVA BOOKS PRIVATE LIMITED (2008)
ISBN 10: 813090974X ISBN 13: 9788130909745
New Paperback Quantity Available: 20
Seller:
BookVistas
(New Delhi, India)
Rating
[?]

Book Description VIVA BOOKS PRIVATE LIMITED, 2008. Paperback. Condition: New. Seller Inventory # VIVA-9788130909745(2)

More information about this seller | Contact this seller

Buy New
US$ 14.00
Convert currency

Add to Basket

Shipping: US$ 9.33
From India to U.S.A.
Destination, rates & speeds