论文信息 - Description Techniques for Data in the SysLab Method

Description Techniques for Data in the SysLab Method

The SysLab method, which is currently under development at the Technische Universitaet Muenchen, provides description techniques for the early phases of software engineering (requirements analysis, requirements definition and definition of the logical architecture). This report presents the techniques provided by the method for describing data. It considers the motivation for these techniques as well as their specific syntax and formal semantics.

R. Hettler

[1] Uwe Hohenstein. Formale Semantik eines erweiterten Entity-Relationship-Modells , 1993 .

[2] Coln Atkinson,et al. Object-oriented development: The fusion method , 1996 .

[3] Ed Downs,et al. Structured systems analysis and design method: application and context , 1988 .

[4] Manfred Broy,et al. The Design of Distributed Systems - An Introduction to FOCUS-revised version , 1992 .

[5] Martin Gogolla,et al. An Extended Entity-Relationship Model: Fundamentals and Pragmatics , 1994 .

[6] Rudolf Hettler,et al. Entity, Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen , 1995 .

[7] John V. Guttag,et al. The specification and application to programming of abstract data types. , 1975 .