Generating Software from Specifications

Anthony M. Sloane,Uwe Kastens,William M. Waite

Verlag: Viva Books Private Limited, 2008
ISBN 10: 813090974X / ISBN 13: 9788130909745
Neu / Paperback / Anzahl: > 20
Verkäufer BookVistas (New Delhi, DELHI, Indien)
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Buch nicht mehr verfügbar. Bitte geben Sie Suchbegriffe in das untenstehende Formular ein, um ähnliche Exemplare zu finden.

Beschreibung:

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. Buchnummer des Verkäufers 5227

Bibliografische Details

Titel: Generating Software from Specifications
Verlag: Viva Books Private Limited
Erscheinungsdatum: 2008
Einband: Paperback
Zustand: New
Auflage: First edition.

ZVAB ist ein Internet-Marktplatz für neue, gebrauchte, antiquarische und vergriffene Bücher. Bei uns finden Sie Tausende professioneller Buchhändler weltweit und Millionen Bücher. Einkaufen beim ZVAB ist einfach und zu 100% sicher — Suchen Sie nach Ihrem Buch, erwerben Sie es über unsere sichere Kaufabwicklung und erhalten Sie ihr Buch direkt vom Händler.

Millionen neuer und gebrauchter Bücher bei tausenden Anbietern

Antiquarische Bücher

Antiquarische Bücher

Von seltenen Erstausgaben bis hin zu begehrten signierten Ausgaben – beim ZVAB finden Sie eine große Anzahl seltener, wertvoller Bücher und Sammlerstücke.

ZVAB Startseite

Erstausgaben

Erstausgaben

Erstausgaben sind besondere Bücher, die den ersten Abdruck des Textes in seiner ursprünglichen Form darstellen. Hier finden sie Erstausgaben von damals bis heute.

Erstausgaben

Gebrauchte Bücher

Gebrauchte Bücher

Ob Bestseller oder Klassiker, das ZVAB bietet Ihnen eine breite Auswahl an gebrauchten Büchern: Stöbern Sie in unseren Rubriken und entdecken Sie ein Buch-Schnäppchen.

Gebrauchte Bücher

Mehr Bücher entdecken