Sauer, Stefan: Systematic development of model-based software engineering methods. 2011
Inhalt
- Danksagung
- Contents
- 1 Introduction
- 2 Classifying Research Contributions to Model-based Software Engineering Methods
- 3 Formal Methods for Software Engineering Methods
- 3.1 Rigorous Modeling with the Unified Modeling Language
- Semantic Dimensions of Sequence Diagrams
- 3.3 Precise Semantics of UML Collaboration Diagrams
- Dynamic Meta Modeling (DMM)
- Dynamic Meta Modeling with Time (DMM+t)
- 4 Fundamental Methods for Software Engineering
- 4.1 Java Code Generation from UML Behavioral Models
- 4.2 Visual Contracts (VC): Design-by-Contract with Models
- 4.3 Executable Visual Contracts for Model-driven Monitoring
- Web-Service Discovery and Validation with Visual Contracts
- 4.5 Specification of Enterprise Services with Visual Contracts
- Model-based Testing with Visual Contracts
- 5 Multimedia and Interactive Systems
- 5.1 Multimedia Software Engineering Methods
- 5.2 Object-oriented Modeling of Multimedia Applications
- Model-based development with Multimedia Authoring Systems
- 5.4 Integrated Methods for Interactive Multimedia Systems
- 5.5 Model-driven Development of Interactive Multimedia Systems
- Generation of Web Application Prototypes
- Business Information Systems
- 6.1 Specification Method for Business Information Systems
- 6.2 Integration of Application Development and Landscaping
- Integrated Specification Framework: Method and Quality Gates
- Integration of Software Engineering and Software Quality Assurance Methods
- 6.5 Architecture-driven Development: Software Stacks
- 7 Method Engineering
- Concluding Remarks
- References
- 9 Engineering of Software Engineering Methods
- 10 Foundations of Method Engineering of Software Engineering Methods Based on Meta-Modeling
- 10.1 Software Engineering and Software Development
- 10.2 Models and Meta-Models
- Method Engineering
- Meta-Modeling for Method Engineering
- 10.5 SPEM
- 10.6 ISO 24744
- A Meta-Method for Method Engineering of Software Engineering Methods
- 11.1 Meta-Model Architecture of the Meta-Method
- 11.2 Method Engineering Meta-Method: Product Model
- 11.3 Method Engineering Meta-Method: Process Model
- 11.4 Integrating the Views of the Meta-Method
- 11.5 Defining the Artifact Model of the Software Engineering Method
- 11.6 Software Process Modeling in the Software Engineering Method
- 11.7 Defining Work of Software Engineering Methods as Transformations
- 12 Tailoring and Reuse of Software Engineering Methodology
- 13 Conclusion
- References
- 14 Contributed Works and Publications