This specific ISBN edition is currently not available.View all copies of this ISBN edition:
"synopsis" may belong to another edition of this title.
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
Book Description VIVA BOOKS PRIVATE LIMITED, 2008. Paperback. Condition: New. Seller Inventory # VIVA-9788130909745(2)