Model Driven Engineering Languages and Systems
Engels, Gregor.
Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings / [electronic resource] : edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil. - XV, 698 p. online resource. - Lecture Notes in Computer Science, 4735 0302-9743 ; . - Lecture Notes in Computer Science, 4735 .
Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions -- Reconciling TGGs with QVT -- UniTI: A Unified Transformation Infrastructure -- Modeling Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context Sensitive Intrusion Detection -- An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications -- Meta-Modeling -- On Metamodeling in Megamodels -- Magritte – A Meta-driven Approach to Empower Developers and End Users -- Matching Model-Snippets -- Consistent Models -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis of Design Models -- Modeling Support -- Piecewise Modelling with State Subtypes -- Deriving Operation Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology -- User Interface Design -- Model-Driven Approach for Managing Human Interface Design Life Cycle -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML Extensions with Operational Semantics. -- Integrated Definition of Abstract and Concrete Syntax for Textual Languages -- Architectural Aspects in UML -- Modeling Methods -- Domain Specific Modeling Methodology for Reconfigurable Networked Systems -- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems -- Relating Navigation and Request Routing Models in Web Applications -- Service and Process Modeling -- A UML2 Profile for Service Modeling -- Automatic Generation of Workflow-Extended Domain Models -- A Practical Perspective on the Design and Implementation of Service-Oriented Solutions -- Model Analysis -- Constructive Techniques for Meta- and Model-Level Reasoning -- A Metamodel-Based Approach for Analyzing Security-Design Models -- UML2Alloy: A Challenging Model Transformation -- Modeling Process -- i 2 MAP: An Incremental and Iterative Modeling and Analysis Process -- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation -- Model-Driven Engineering for Software Migration in a Large Industrial Context -- Aspects -- Introducing Variability into Aspect-Oriented Modeling Approaches -- An Expressive Aspect Composition Language for UML State Diagrams -- Enhancing UML State Machines with Aspects -- New Language Features -- Complementary Use Case Scenario Representations Based on Domain Vocabularies -- Modeling Time(s) -- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software -- Debugging Support -- Forensic Debugging of Model Transformations -- Runtime Debugging Using Reverse-Engineered UML -- Formally Defining a Graphical Language for Monitoring and Checking Object Interactions -- Statecharts -- Statechart Development Beyond WYSIWYG -- Model-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified Binaries -- Workshops, Tutorials and Panels -- Workshops and Symposia at MODELS 2007 -- Tutorials at MODELS 2007 -- Panels at MODELS 2007.
9783540752097
10.1007/978-3-540-75209-7 doi
Computer science.
Software engineering.
Computer simulation.
Information Systems.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Management of Computing and Information Systems.
QA76.758
005.1
Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings / [electronic resource] : edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil. - XV, 698 p. online resource. - Lecture Notes in Computer Science, 4735 0302-9743 ; . - Lecture Notes in Computer Science, 4735 .
Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions -- Reconciling TGGs with QVT -- UniTI: A Unified Transformation Infrastructure -- Modeling Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context Sensitive Intrusion Detection -- An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications -- Meta-Modeling -- On Metamodeling in Megamodels -- Magritte – A Meta-driven Approach to Empower Developers and End Users -- Matching Model-Snippets -- Consistent Models -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis of Design Models -- Modeling Support -- Piecewise Modelling with State Subtypes -- Deriving Operation Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology -- User Interface Design -- Model-Driven Approach for Managing Human Interface Design Life Cycle -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML Extensions with Operational Semantics. -- Integrated Definition of Abstract and Concrete Syntax for Textual Languages -- Architectural Aspects in UML -- Modeling Methods -- Domain Specific Modeling Methodology for Reconfigurable Networked Systems -- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems -- Relating Navigation and Request Routing Models in Web Applications -- Service and Process Modeling -- A UML2 Profile for Service Modeling -- Automatic Generation of Workflow-Extended Domain Models -- A Practical Perspective on the Design and Implementation of Service-Oriented Solutions -- Model Analysis -- Constructive Techniques for Meta- and Model-Level Reasoning -- A Metamodel-Based Approach for Analyzing Security-Design Models -- UML2Alloy: A Challenging Model Transformation -- Modeling Process -- i 2 MAP: An Incremental and Iterative Modeling and Analysis Process -- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation -- Model-Driven Engineering for Software Migration in a Large Industrial Context -- Aspects -- Introducing Variability into Aspect-Oriented Modeling Approaches -- An Expressive Aspect Composition Language for UML State Diagrams -- Enhancing UML State Machines with Aspects -- New Language Features -- Complementary Use Case Scenario Representations Based on Domain Vocabularies -- Modeling Time(s) -- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software -- Debugging Support -- Forensic Debugging of Model Transformations -- Runtime Debugging Using Reverse-Engineered UML -- Formally Defining a Graphical Language for Monitoring and Checking Object Interactions -- Statecharts -- Statechart Development Beyond WYSIWYG -- Model-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified Binaries -- Workshops, Tutorials and Panels -- Workshops and Symposia at MODELS 2007 -- Tutorials at MODELS 2007 -- Panels at MODELS 2007.
9783540752097
10.1007/978-3-540-75209-7 doi
Computer science.
Software engineering.
Computer simulation.
Information Systems.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Management of Computing and Information Systems.
QA76.758
005.1