Models in software engineering

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 9th International Workshop on Aspect-Oriented Modeling
3. Altmetric Badge
   Chapter 2 Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study
4. Altmetric Badge
   Chapter 3 Join Point Patterns: A High-Level Join Point Selection Mechanism
5. Altmetric Badge
   Chapter 4 Critical Systems Development Using Modeling Languages – CSDUML 2006 Workshop Report
6. Altmetric Badge
   Chapter 5 Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset
7. Altmetric Badge
   Chapter 6 Model Checking of UML 2.0 Interactions
8. Altmetric Badge
   Chapter 7 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies
9. Altmetric Badge
   Chapter 8 A Unified Ontology-Based Process Model for Software Maintenance and Comprehension
10. Altmetric Badge
    Chapter 9 Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL
11. Altmetric Badge
    Chapter 10 The 1 st Workshop on Quality in Modeling
12. Altmetric Badge
    Chapter 11 Consistency of Business Process Models and Object Life Cycles
13. Altmetric Badge
    Chapter 12 A Qualitative Investigation of UML Modeling Conventions
14. Altmetric Badge
    Chapter 13 Model Driven Development of Advanced User Interfaces (MDDAUI) – MDDAUI’06 Workshop Report
15. Altmetric Badge
    Chapter 14 A Model-Driven Approach to the Engineering of Multiple User Interfaces
16. Altmetric Badge
    Chapter 15 Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces
17. Altmetric Badge
    Chapter 16 Modelling and Analysis of Real Time and Embedded Systems – Using UML
18. Altmetric Badge
    Chapter 17 Time Exceptions in Sequence Diagrams
19. Altmetric Badge
    Chapter 18 Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems
20. Altmetric Badge
    Chapter 19 OCL for (Meta-)Models in Multiple Application Domains
21. Altmetric Badge
    Chapter 20 OCL-Based Validation of a Railway Domain Profile
22. Altmetric Badge
    Chapter 21 OCL Support in an Industrial Environment
23. Altmetric Badge
    Chapter 22 Report on the 3rd MoDeVa Workshop – Model Design and Validation
24. Altmetric Badge
    Chapter 23 Towards Model-Driven Unit Testing
25. Altmetric Badge
    Chapter 24 Validation of Model Transformations – First Experiences Using a White Box Approach
26. Altmetric Badge
    Chapter 25 Summary of the 2006 Model Size Metrics Workshop
27. Altmetric Badge
    Chapter 26 Model Size Matters
28. Altmetric Badge
    Chapter 27 On the Application of Software Metrics to UML Models
29. Altmetric Badge
    Chapter 28 Summary of the Workshop [email protected] at MoDELS 2006
30. Altmetric Badge
    Chapter 29 Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware
31. Altmetric Badge
    Chapter 30 Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems
32. Altmetric Badge
    Chapter 31 Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools
33. Altmetric Badge
    Chapter 32 Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages
34. Altmetric Badge
    Chapter 33 MoDELS 2006 Doctoral Symposium
35. Altmetric Badge
    Chapter 34 Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems
36. Altmetric Badge
    Chapter 35 Educators’ Symposium at MoDELS 2006
37. Altmetric Badge
    Chapter 36 If You’re Not Modeling, You’re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program
38. Altmetric Badge
    Chapter 37 Teaching Software Modeling in a Simulated Project Environment
39. Altmetric Badge
    Chapter 38 Repository for Model Driven Development (ReMoDD)
40. Altmetric Badge
    Chapter 39 2 nd UML 2 Semantics Symposium: Formal Semantics for UML
41. Altmetric Badge
    Chapter 40 A UML Simulator Based on a Generic Model Execution Engine
42. Altmetric Badge
    Chapter 41 Queries and Constraints: A Comprehensive Semantic Model for UML2
43. Altmetric Badge
    Chapter 42 Analysis of UML Activities with Dynamic Meta Modeling Techniques