Generating Software from Specifications
Generating Software from Specifications
₹315.00 ₹350.00 Save: ₹35.00 (10%)
Go to cart-
Out of Stock
ISBN: 9788130909745
Bind: Paperback
Year: 2008
Pages: 426
Size: . mm
Publisher: Jones & Bartlett Learning
Published in India by: Viva Books
Exclusive Distributors: Viva Books
Sales Territory: India, Nepal, Pakistan, Bangladesh, Sri Lanka
Description:
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.
Target Audience:
IT professionals, students & academics of computer science
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
