Generating Software from Specifications

0.0

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 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. Table of Contents Introduction Generators Domain-Specific LanguageReuse I How Generators Provide Leverage Structured Output The Web Site Maintenance ProblemGenerating the Memex Web Site Text ModuleProgrammingthe Memex Web Site Text ModuleHand Coding vs. Generation Storing Entities with Properties The Student Data ProblemGenerating a Property Storage ModuleProgramming a Property Storage ModuleHand Coding vs. Generation Visiting TreesThe Table Layout ProblemGenerating the Table Layout ModuleProgramming the Table Layout ModuleHand Coding vs. Generation Names and Entities The Structure Generator TaskSpecifying Name Analysis for the Structure GeneratorProgramming the Name Analysis Phase Constructing TreesThe Calendar Tree Construction ProblemGenerating a Calendar Structuring ProgramProgramming a Calendar Structuring ProgramHand Coding vs. Generation An Integrated Approach Task DecompositionGenerating a Structure GeneratorProgramming a Structure GeneratorHand Coding vs. Generation II Support Infrastructure Execution Monitoring Source-Level Execution ModelsSpecification-Level Execution ModelsThe Noosa Execution MonitorDebugging SituationsImplementing Execution Monitors Modularity and Generators A File-Based Module MechanismLiterate ProgrammingFunnelWeb Specifications Software Manufacturing Two Manufacturing ScenariosDefining a Manufacturing ProcessImplementing the Process III Complete Examples Desk Calculator ExpressionsExpression ValuesExtensionsLessons Learned Language Extension Extending Java with Formal SpecificationsImplementing Language ExtensionsUnparsingImplementing the Java ExtensionLessons Learned A Pattern-based Text Generator StructuringName AnalysisProperty AnalysisTransformation A Manufacturing Problem The document Manufacturing ProcessAutomating the ProcessThe TeX PackageA Filter for included Filenames Bibliography Index