Model Driven Engineering Languages and Systems

>> Google Books

Model Driven Engineering Languages and Systems / Oscar Nierstrasz, David Harel, Takeo Kanade, Oscar Marius Nierstrasz, Gianna Reggio, Jon Whittle, Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
Springer Berlin Heidelberg, 2006

著者名:

Nierstrasz, Oscar

Harel, David

Kanade, Takeo

Nierstrasz, Oscar Marius

Reggio, Gianna

Whittle, Jon

Association for Computing Machinery-Digital Library.

さらに 2 件

ISBN:

9783540457725 [3540457720]
9783540457732 [3540457739]

書誌ID:

OB00400294

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：

Evaluating UML

Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez

An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer

Improving the Definition of UML / Greg O'Keefe

MDA in Software Development

Adopting Model Driven Software Development in Industry - A Case Study at Two Companies / Miroslaw Staron

Use Case Driven Iterative Development: Hurdles and Solutions / Santiago Ceria ; Juan Jose Cukier

Model-Driven Development with SDL - Process, Tools, and Experiences / Thomas Kuhn ; Reinhard Gotzhein ; Christian Webel

Concrete Syntax

Model-Driven Analysis and Synthesis of Concrete Syntax / Pierre-Alain Muller ; Franck Fleurey ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel

Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar

Applying UML to Interaction and Coordination

Compositional MDA / Louis van Gool ; Teade Punter ; Marc Hamilton ; Remco van Engelen

CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications / Jan Van den Bergh ; Karin Coninx

Aspects

Domain Models Are NOT Aspect Free / Awais Rashid ; Ana Moreira

A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects / Maria Agustina Cibran ; Maja D'Hondt

Model Intergration

Package Merge in UML 2: Practice vs. Theory? / Alanna Zito ; Zinovy Diskin ; Juergen Dingel

Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis / Tom Mens ; Ragnhild Van Der Straeten

Merging Models with the Epsilon Merging Language (EML) / Dimitrios S. Kolovos ; Richard F. Paige ; Fiona A.C. Polack

Formal Semantics of UML

Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2

Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee

Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente

Security

Towards a MOF/QVT-Based Domain Architecture for Model Driven Security / Michael Hafner ; Muhammad Alam ; Ruth Breu

MDA-Based Re-engineering with Object-Z / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson

A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen Doser ; Burkhart Wolff

Model Transformation Tools and Implementation

Incremental Model Transformation for the Evolution of Model-Driven Systems / David Hearnden ; Michael Lawley ; Kerry Raymond

A Plugin-Based Language to Experiment with Model Transformation / Jesus Sanchez Cuadrado ; Jesus Garcia Molina

SiTra: Simple Transformations in Java / David H. Akehurst ; Behzad Bordbar ; Michael J. Evans ; W. Gareth J. Howells ; Klaus D. McDonald-Maier

Analyzing Dynamic Models

Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models / Vahid Garousi ; Lionel C. Briand ; Yuan Labiche

Model Extraction Using Context Information / Lucio Mauro Duarte ; Jeff Kramer ; Sebastian Uchitel

Dynamic and Generic Manipulation of Models: From Introspection to Scripting / Christophe Tombelle ; Gilles Vanwormhoudt

Specifying Transformations

Model Transformation by Example / Daniel Varro

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss

Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow

MOF

A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres

Basic Operations over Models Containing Subset and Union Properties

A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche

Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2：

Bridging Models

Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine Nebut

Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages / Gerti Kappel ; Elisabeth Kapsammer ; Horst Kargl ; Gerhard Kramler ; Thomas Reiter ; Werner Retschitzegger ; Wieland Schwinger ; Manuel Wimmer

Incremental Model Synchronization with Triple Graph Grammars / Holger Giese ; Robert Wagner

Risk, Trust and Dependability

Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe

A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen

Reusable MDA Components: A Testing-for-Trust Approach / Jean-Marie Mottu ; Benoit Baudry ; Yves Le Traon

Tool Environments

Using Smalltalk as a Reflective Executable Meta-language / Stephane Ducasse ; Tudor Girba

UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn Lundell ; Brian Lings ; Anna Persson ; Anders Mattsson

Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment / Prawee Sriplakich ; Xavier Blanc ; Marie-Pierre Gervais

OCL

An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE / Claudia Pons ; Diego Garcia

An OCL Semantics Specified with QVT / Slavisa Markovic

Specification of Invariability in OCL / Piotr Kosiuczenko

Roundtrip Engineering

Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki

A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems / Heather Goldsby ; Betty H. C. Cheng ; Sascha Konrad ; Stephane Kamdoum

Layered Class Diagrams: Supporting the Design Process / Scott Hendrickson ; Bryan Jett ; Andre van der Hoek

Real Time and Embedded Systems

Using UML Activities for System-on-Chip Design and Synthesis / Tim Schattkowsky ; Jan Hendrik Hausmann ; Gregor Engels

Modeling and Early Performance Estimation for Network Processor Applications / Antonia Bertolino ; Alvise Bonivento ; Guglielmo De Angelis ; Alberto Sangiovanni-Vincentelli

A Formal Semantics of UML-RT / Michael von der Beeck

Workshops, Tutorials and Panels

Workshops and Symposia at MoDELS 2006 / Thomas Kuhne

Tutorials at MoDELS 2006 / Egidio Astesiano

Panels at MoDELS 2006 / Douglas C. Schmidt

Author Index

A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1：

Evaluating UML

Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez

An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer

Improving the Definition of UML / Greg O'Keefe

MDA in Software Development

続きを見る

ブックレビュー

類似資料:

1 電子ブック Model Driven Engineering Languages and Systems Nierstrasz, Oscar, Harel, David, Kanade, Takeo, Nierstrasz, Oscar Marius, Reggio, Gianna, Whittle, Jon, Association for … Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Model Driven Engineering Languages and Systems Petriu, Dorina C., Haugen, ?ystein, Kanade, Takeo, Rouquette, Nicolas, Association for Computing Machinery-Digital … Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems Nierstrasz, Oscar, Harel, David, Kanade, Takeo, Nierstrasz, Oscar Marius, Reggio, Gianna, Whittle, Jon, Association for … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Model Driven Engineering Languages and Systems Petriu, Dorina C., Haugen, ÁEstein, Kanade, Takeo, Rouquette, Nicolas, Association for Computing Machinery-Digital … ACM Digital Library Proceedings, Springer Berlin Heidelberg
3 電子ブック Model Driven Engineering Languages and Systems Whittle, Jon, Clark, Tony, Kanade, Takeo, K?hne, Thomas, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Model Driven Engineering Languages and Systems Petriu, Dorina C., Haugen, ÁEstein, Kanade, Takeo, Rouquette, Nicolas, Association for Computing Machinery-Digital … ACM Digital Library Proceedings, Springer Berlin Heidelberg
4 電子ブック Model Driven Engineering Languages and Systems Whittle, Jon, Clark, Tony, Kanade, Takeo, Kühne, Thomas, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	10 電子ブック Model Driven Engineering Languages and Systems MoDELS 2005, Briand, Lionel C., Kanade, Takeo, Williams, Clay Edwin, Association for Computing Machinery-Digital … ACM Digital Library Proceedings, Springer Berlin Heidelberg
5 電子ブック Proceedings of the 14th international conference on Model driven engineering languages and systems Whittle, Jon, Clark, Tony, Kanade, Takeo, Kühne, Thomas, Association for Computing Machinery-Digital Library. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Model Driven Engineering Languages and Systems Engels, Gregor, Engels, G., Kanade, Takeo, Opdyke, Bill, Schmidt, Douglas C., Weil, Frank, Association for Computing … ACM Digital Library Proceedings, Springer Berlin Heidelberg
6 電子ブック Model Driven Engineering Languages and Systems Petriu, Dorina C., Haugen, ?ystein, Kanade, Takeo, Rouquette, Nicolas, Association for Computing Machinery-Digital … Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Model Driven Engineering Languages and Systems MoDELS 2005, Briand, Lionel C., Kanade, Takeo, Williams, Clay Edwin, Association for Computing Machinery-Digital … Springer eBooks Computer Science, Springer Berlin Heidelberg