Weiter zum Menü

Fachgruppe Kastens > Lehre > Generating Software from Specifications WS 2013/14 > Slides

Weiter zum Inhalt

• Home
• First Slide
• Last Slide
• Chapters
• Print Slides
• Slides (plain text)

SUCHEN:

Weiter zum Ende

Generating Software from Specifications WS 2013/14 - Slides

0. Title [-]
Generating Software from Specifications (001) Objectives (002) Contents (003) References (004) Home Page of GSS Lecture (005) Organization (006)
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) Design and Specification of a DSL (109a) 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) Design of a Concrete Syntax (204a) Concrete Syntax (205) Literal und Non-Literal Terminals (206) Specification of Non-Literal Terminals (207) Scanner Specification: Regular Expressions (208) Scanner Specification: Programmed Scanner (209) Scanner Specification: Coding Functions (210) Scanner Specification: Canned Specifications (211) Abstract Syntax (212) Example for a Structure Tree (213) Graphic Structure Tree (214) Symbol Mapping: Concrete - Abstract Syntax (215) Rule Mapping (216) Generate Tree Output (217)
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: Dependences Left-to-Right Depth-First Through the Tree (304a) Pattern: Dependences Left-to-Right Depth-First Through the Tree (304b) 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) 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. Names, Entities, and Properties [-]
4. Names, Entities, and Properties (401) Basic name analysis provided by symbol roles (401a) 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. Scope of Names [-]
5. Binding Names to 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 and Applied Occurrences of Identifiers (510)
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) 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 [-]
9. Individual Projects (901) Steps for the Development of a Generator (902)
10. Visual Languages Developed Using DEViL [-]
10. Visual Languages Developed using DEViL (951)

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

Weiter zum Anfang