Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kühne, Thomas (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Programming and Software Engineering, 4364
Temas:
Software engineering.
Compilers (Computer programs).
Computer simulation.
Electronic data processing-Management.
Software Engineering.
Compilers and Interpreters.
Computer Modelling.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • W1 - Aspect-Oriented Modeling
  • 9th International Workshop on Aspect-Oriented Modeling
  • Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study
  • Join Point Patterns: A High-Level Join Point Selection Mechanism
  • W2 - Critical Systems Development
  • Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report
  • Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset
  • Model Checking of UML 2.0 Interactions
  • W3 - Reverse Engineering
  • 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies
  • A Unified Ontology-Based Process Model for Software Maintenance and Comprehension
  • Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL
  • W4 - Quality in Modeling
  • The 1st Workshop on Quality in Modeling
  • Consistency of Business Process Models and Object Life Cycles
  • A Qualitative Investigation of UML Modeling Conventions
  • W5 - Advanced User Interfaces
  • Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report
  • A Model-Driven Approach to the Engineering of Multiple User Interfaces
  • Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces
  • W6 - Real-Time and Embedded Systems
  • Modelling and Analysis of Real Time and Embedded Systems - Using UML
  • Time Exceptions in Sequence Diagrams
  • Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems
  • W7 - OCL
  • OCL for (Meta-)Models in Multiple Application Domains
  • OCL-Based Validation of a Railway Domain Profile
  • OCL Support in an Industrial Environment
  • W8 - Integrating MDA and V&V
  • Report on the 3rd MoDeVa Workshop - Model Design and Validation
  • Towards Model-Driven Unit Testing
  • Validation of Model Transformations - First Experiences Using a White Box Approach
  • W9 - Model Size Metrics
  • Summary of the 2006 Model Size Metrics Workshop
  • Model Size Matters
  • On the Application of Software Metrics to UML Models
  • W10 - Models@run.time
  • Summary of the Workshop Models@run.time at MoDELS 2006
  • Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware
  • Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems
  • W11 - Multi-Paradigm Modeling
  • Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools
  • Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages
  • S1 - Doctoral Symposium
  • MoDELS 2006 Doctoral Symposium
  • Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems
  • S2 - Educators Symposium
  • Educators' Symposium at MoDELS 2006
  • If You're Not Modeling, You're Just Programming: Modeling Throughout an Undergraduate Software Engineering Program
  • Teaching Software Modeling in a Simulated Project Environment
  • Repository for Model Driven Development (ReMoDD)
  • S3 - A Formal Semantics for UML
  • 2 nd UML 2 Semantics Symposium: Formal Semantics for UML
  • A UML Simulator Based on a Generic Model Execution Engine
  • Queries and Constraints: A Comprehensive Semantic Model for UML2
  • Analysis of UML Activities with Dynamic Meta Modeling Techniques.

Ejemplares similares