This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions. The papers are organized in topical sections.

Produktinformation

Utgivningsdatum2007-09-13
Mått155 x 235 x 39 mm
Vikt1 072 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor698
Upplaga2007
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540752080

Tillhör följande kategorier

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.- AutomaticGeneration 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.

Mer från samma författare

Del 9765

Theory and Practice of Model Transformations

Pieter Van Gorp, Gregor Engels

Häftad, 2016

739 kr

Del 10445

Business Process Management

Josep Carmona, Gregor Engels, Akhil Kumar

Häftad, 2017

739 kr

Del 297

Business Process Management Forum

Josep Carmona, Gregor Engels, Akhil Kumar

Häftad, 2017

739 kr

Programmentwicklungsumgebungen

Gregor Engels, Wilhelm Schäfer

Häftad, 1989

679 kr

Graph Transformations

Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg

Häftad, 2004

719 kr

Graph Grammars and Their Application to Computer Science

Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg

Häftad, 1996

1 429 kr

Informatik’99

Kurt Beiersdörfer, Gregor Engels, Wilhelm Schäfer

Häftad, 1999

769 kr

Theory and Application of Graph Transformations

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg

Häftad, 2000

719 kr

Graph Transformations and Model-Driven Engineering

Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel

Häftad, 2010

1 479 kr

Graph Transformation

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg

Häftad, 2012

729 kr

Mer från samma serie

Del 16477

Passive and Active Measurement

Simone Ferlin-Reiter, Romain Fontugne, Johanna Ullrich

Häftad, 2026

1 409 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

719 kr

Compiler Construction

Albert Cohen

Häftad, 2014

709 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

739 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Du kanske också är intresserad av

Model-Driven Engineering Languages and Systems

Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke

Häftad, 2013

739 kr

Del 8767

Model-Driven Engineering Languages and Systems

Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran

Häftad, 2014

739 kr

Model Driven Engineering Languages and Systems

Dorina C. Petriu, Nicolas Rouquette, Oystein Haugen

Häftad, 2010

739 kr

Model Driven Engineering Languages and Systems

Jon Whittle, Tony Clark, Thomas Kühne

Häftad, 2011

739 kr

Model Driven Engineering Languages and Systems

Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson

Häftad, 2012

749 kr

Model Driven Engineering Languages and Systems

Andy Schürr, Bran V. Selic

Häftad, 2009

1 489 kr

Model Driven Engineering Languages and Systems

Lionel Briand, Clay Williams

Häftad, 2005

1 429 kr

Model Driven Engineering Languages and Systems

Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio

Häftad, 2006

1 489 kr

Model Driven Engineering Languages and Systems

Dorina C. Petriu, Nicolas Rouquette, Oystein Haugen

Häftad, 2010

739 kr

Graph Grammars and Their Application to Computer Science

Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg

Häftad, 1996

1 429 kr

Del i serien Lecture Notes in Computer Science

Model Driven Engineering Languages and Systems

10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Häftad, Engelska, 2007

AvGregor Engels,Bill Opdyke,Douglas C. Schmidt,Frank Weil

1 429 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (9)

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

1 429 kr

Skickas inom 10-15 vardagar

Häftad

1 489 kr

Skickas inom 10-15 vardagar

Häftad

1 489 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2007-09-13
Mått155 x 235 x 39 mm
Vikt1 072 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor698
Upplaga2007
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540752080

Tillhör följande kategorier

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.- AutomaticGeneration 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.