Generating software from specifications
نویسندگان
چکیده
ions on a high level transformed into executable software (using domain knowledge) User understands Generator expert understands abstractions of the application domain implementation methods wide cognitive distance generator makes expert knowledge available Examples: Data base report generator GUI generator Parser generator GSS-1.3 Task description Generator Implementation Lecture Generating Software from Specifications WS 2013/14 / Slide 103 Objectives: Understand generators as a reuse method In the lecture: Topics of the slide will be explained © 2 0 1 0 b e i P r o f . D r . U w e K a s t e n s Domain-Specific Languages for Generators GSS-1.4 Task description Generator Implementation Generator: transforms a specification language into an executable program or/and into data, applies domain-specific methods and techniques Domain-specific languages (DSL) Domains outside of informatics Robot control Stock exchange Control of production lines Music scores Software engineering domains Data base reports User interfaces Test descriptions Representation of data structures (XML) Language implementation as domain Scanner specified by regular expressions Parser specified by a context-free grammar Language implementation specified for Eli Some GSS Projects Party organization Soccer teams Tutorial organization Shopping lists Train tracks layout LED descriptions to VHDL SimpleUML to XMI Rule-based XML transformation Lecture Generating Software from Specifications WS 2013/14 / Slide 104 Objectives: Recognize the roles of specification languages In the lecture: The topics of the slide will be explained. © 2 0 0 7 b e i P r o f . D r . U w e K a s t e n s Reuse of Products GSS-1.5 Product What is reused? Library of functions Implementation Module, component Code generic module Planned variants of code Software architecture Design Framework Design and code Design pattern Strategy for design and construction Generator Knowledge, how to construct implementations from descriptions Construction process Knowledge, how to use and combine tools to build software Ch. W. Kruger: Software Reuse, ACM Computing Surveys, 24(2), 1992 R. Prieto-Diaz: Status Report: Software reusability, IEEE Software, 10(3), 1993 Lecture Generating Software from Specifications WS 2013/14 / Slide 105 Objectives: Overview on reuse products In the lecture: • Items are explained. • Emphasize the role of generators. Questions: Give concrete examples for reuse products. © 2 0 0 7 b e i P r o f . D r . U w e K a s t e n s Organisation of Reuse GSS-1.6
منابع مشابه
Generating Test Data from State-based Specifications1
Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system level testing techniques are only described informally. This paper presents formal testing criteria for system level testing that are based on formal specifications of the software. Software testing can only be formalized and quanti...
متن کاملGenerating test data from state-based specifications
Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system-level testing techniques are only described informally. This paper presents formal testing criteria for system level testing that are based on formal specifications of the software. Software testing can only be formalized and quanti...
متن کاملA Knowledge-Based Approach to Generating Target System Specifications from a Domain Model
Several institutions in industry and academia are pursuing research efforts in domain modeling to address unresolved issues in software reuse. Todemonstrate the concepts ofdomain modeling and software reuse. a prototype software engineering environment is being developed atGeorgeMason University to suppon thecreation ofdomain models and the generation oftarget system specifications. This protot...
متن کاملUML Class Diagram Composition Using Software Requirements Specifications
Consider a scenario of collaborative software engineering process in which different software engineering teams create different versions of software design that satisfy given software requirements specifications. Often the software designs are expressed as UML diagrams, e.g., class diagrams. In this process, the class diagrams developed by different teams have to be reconciled and only one fin...
متن کاملBuilding VCL Models and Automatically Generating Z Specifications from Them
VCL is a visual and formal language for abstract specification of software systems. Its novelty lies in its capacity to describe predicates visually. This paper presents work-in-progress on a tool for VCL; the tool version presented here supports the VCL notations of structural and assertion diagrams (a subset of the whole VCL suite), enabling the generation of Z specifications from them.
متن کامل