Model Driven Engineering Languages and Systems

>> Google Books

Model Driven Engineering Languages and Systems / Dorina C. Petriu, ?ystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642161445 [3642161448]
9786613567499 [6613567493]

書誌ID:

OB00355781

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

Keynote 1

A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger MÃ¸ller-Pedersen

Genericity and Generalization / Session 1a：

Generic Meta-modelling with Concepts, Templates and Mixin Layers / Juan de Lara ; Esther Guerra

An Observer-Based Notion of Model Inheritance / Thomas KÃ¼hne

MDE-Based Approach for Generalizing Design Space Exploration / Tripti Saxena ; Gabor Karsai

Model Migration and Incremental Manipulation / Session 1b：

A Comparison of Model Migration Tools / Louis M. Rose ; Markus Herrmannsdoerfer ; James R. Williams ; Dimitrios S. Kolovos ; Kelly GarcÃ©s ; Richard F. Paige ; Fiona A. C. Polack

Incremental Evaluation of Model Queries over EMF Models / GÃ¡bor Bergmann ; Ãkos HorvÃ¡th ; IstvÃ¡n RÃ¡th ; DÃ¡niel VarrÃ³ ; AndrÃ¡s Balogh ; ZoltÃ¡n Balogh ; AndrÃ¡s Ã–krÃ¶s

Active Operations on Collections / Olivier Beaudoux ; Arnaud Blouin ; Olivier Barais ; Jean-Marc JÃ©zÃ©quel

Modeling Model Transformations / Session 1c：

transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos

Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer

A Technique for Automatic Validation of Model Transformations / Levi LÃºcio ; Bruno Barroca ; Vasco Amaral

Verifying Consistency and Conformance / Session 2a：

Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl

Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei

Taming Modeling Complexity / Session 2b：

Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden

Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck

A Visual Traceability Modeling Language / Patrick MÃ¤der ; Jane Cleland-Huang

Modeling User-System Interaction / Session 2c：

Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek

A Metamodel-Based Approach for Automatic User Interface Generation / AntÃ³nio Miguel Rosado da Cruz ; JoÃ£o Pascoal Faria

Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques / Arne Schramm ; AndrÃ© PreuÃŸner ; Matthias Heinrich ; Lars Vogel

Model-Driven Quality Assurance / Session 3a：

Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand

Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study / Andrew Diniz da Costa ; Viviane Torres da Silva ; Alessandro Garcia ; Carlos JosÃ© Pereira de Lucena

Automatically Discovering Properties That Specify the Latent Behavior of UML Models / Heather J. Goldsby ; Betty H.C. Cheng

Managing Variability / Session 3b：

Towards a Semantics of Activity Diagrams with Semantic Variation Points / Hans GrÃ¶nniger ; Dirk ReiÃŸ ; Bernhard Rumpe

An AADL-Based Approach to Variability Modeling of Automotive Control Systems / Shin'ichi Shiraishi

Extending Variability for OCL Interpretation / Claas Wilke ; Michael Thiele ; Christian Wende

Multi-Modeling Approaches / Session 3c：

Inter-Modelling: From Theory to Practice

A Systematic Review on the Definition of UML Profiles / JesÃºs Pardillo

Author Index

Keynote 1

A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger MÃ¸ller-Pedersen

Genericity and Generalization / Session 1a：

Generic Meta-modelling with Concepts, Templates and Mixin Layers / Juan de Lara ; Esther Guerra

An Observer-Based Notion of Model Inheritance / Thomas KÃ¼hne

MDE-Based Approach for Generalizing Design Space Exploration / Tripti Saxena ; Gabor Karsai

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック 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	7 電子ブック 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
2 電子ブック 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	8 電子ブック 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
3 電子ブック 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	9 電子ブック Model Driven Engineering Languages and Systems Engels, Gregor, Engels, G., Kanade, Takeo, Opdyke, Bill, Schmidt, Douglas C., Weil, Frank, Association for Computing … Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II Petriu, Dorina C., Haugen, Øystein, Kanade, Takeo, Rouquette, Nicolas, Association for Computing Machinery-Digital … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック 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
5 電子ブック Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I Petriu, Dorina C., Haugen, Øystein, Kanade, Takeo, Rouquette, Nicolas, Association for Computing Machinery-Digital … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック 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
6 電子ブック 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	12 電子ブック 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

1

2

3

4

5

6

7

8

9

10

11

12