Weiter zum Menü

Universität Paderborn - Home

Universität Paderborn

Die Universität der Informationsgesellschaft

Weiter zum Ende

Generating Software from Specifications SS 2010 - Slides

0. Title `[-]`
Generating Software from Specifications (001) Objectives (002) Contents (003) References (004) Home Page of GSS Lecture (005)
1. Introduction `[-]`
1. Introduction (101) Example for a Domain-Specific Generator (102) The Generator Principle (103) Domain-Specific Languages for Generators (104) Reuse of Products (105) Organisation of Reuse (106) Roles of Provider and Reuser (107) Project: Structure Generator (Lect. Ch. 8, Book Ch. 7) (108) Task Decomposition for the Implementation of (109) Task Decomposition for the Structure Generator (110) Eli Generates a Structure Generator (111) Task Decomposition Determines the Architecture of the Generator (112) The Eli System (113) Hints for Using Eli (114)
2. Constructing Trees `[-]`
2. Constructing Trees - Overview (201) Eli: Specification of the Tree Construction (202) Specifications for the Structure Generator (203) Calendar Example: Structuring Task (204) Concrete Syntax (205) Abstract Syntax (206) Example for a Structure Tree (207) Graphic Structure Tree (207a) Symbol Mapping: Concrete - Abstract Syntax (208) Rule Mapping (209) Literal und Non-Literal Terminals (210) Specification of Non-Literal Terminals (211) Scanner Specification: Regular Expressions (211a) Scanner Specification: Programmed Scanner (211b) Scanner Specification: Coding Functions (211c) Scanner Specification: Canned Specifications (211d) Generate Tree Output (212)
3. Visiting Trees `[-]`
3. Visiting Trees (301) Computations in Tree Contexts Specified by AGs (301a) Dependent Computations (302) An Attributed Structure Tree (303) Pre- and Postconditions of Computations (304) Pattern: Combine Attribute Values of a Subtree (305) Pattern: Use an Attribute of a Remote Ancestor Node (306) Example for INCLUDING in a Tree (306a) Pattern: Combine Preconditions of Subtree Nodes (307) Pattern: Dependences Left-to-Right Depth-First Through the Tree (308) Pattern: Dependences Left-to-Right Depth-First Through the Tree (308a) Computations Associated to Symbols (309) Reuse of Computations (310) Reuse of Pairs of SYMBOL Roles (310a) Design Rules for Computations in Trees (311) A: Compute Properties of Program Constructs (312)
4. Storing Entities with Properties `[-]`
4. Storing Entities with Properties (401) PDL: A Generator for Definition Modules (402) Example: Set and Get a Property (403) Design Rules for Property Access (B) (404) Technique: Do it once (405)
5. Names and Entities `[-]`
5. Names and Entities (501) Keys and Properties (502) Bindings and Environments (503) Attributed Tree for Name Analysis (504) Attributes, Environments, and Keys (505) Environment Module (506) Example: Names and Entities for the Structure Generator (508) Computation of Environment Attributes (509) Defining Occurrences of Identifiers (510) Applied Occurrences of Identifiers (511)
6. Structured Output `[-]`
6. Structured Output (601) Structure Clash on Text Output (602) PTG: Pattern-Based Text Generator (603) PTG's Specification Language: Introductory Example (604) Constructor Functions (605) Output Functions (606) Important Techniques for Pattern Specification (607) Important Techniques: Indexed Insertion Points (608) Important Techniques: Typed Insertion Points (609) Important Techniques: Sequences of Text Elements (610) Application of the While pattern (611) Compose Subtree Elements (612) CONSTITUENTS Composes Attributes of a Subtree (613)
7. Library of Specification Modules `[-]`
Library of Specification Modules (701) Basic Module for Name Analysis (702) Stucture Generator: Using Module for Name Analysis (1) (703) Stucture Generator: Using Module for Name Analysis (2) (703a) Specification Libraries in Eli (704) Name Analysis, Type Analysis (705) Association of Properties to Entities (706) Input and Output (707) Other Useful Modules (708)
8. An Integrated Approach `[-]`
8. An Integrated Approach: Structure Generator (801) Example for the Output of the Structure Generator (802) Variants of Input Form (803) Task Decomposition for the Structure Generator (804) Task Decomposition Determines the Architecture of the Generator (805) Concrete Syntax (806) Abstract Syntax (807) Name Analysis (808) Property Analysis (1)(809) Property Analysis (2)(810) Property Analysis (3)(811) Structured Target Text (812)
9. Individual Projects `[-]`
Steps for the Development of a Generator (902) Projects 2007 (903)

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 01.07.2010

Weiter zum Anfang