close
1.

電子ブック

EB
Øystein Haugen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2012
所蔵情報: loading…
2.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
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
Consistent Modeling Using Multiple UML Profiles / Florian Noyrit ; Sébastien Gérard ; François Terrier ; Bran Selic
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:
3.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 2
Modeling the Internet / Pamela Zave
Distributed/Embedded Software Development / Session 4a:
Transformation-Based Parallelization of Request-Processing Applications / Taylor L. Riché ; Harrick M. Vin ; Don Batory
Model Driven Orchestration: Design for Service Compatibility / Georg Grossmann ; Michael Schrefl ; Markus Stumptner
Embedded Software Development with Projectional Language Workbenches / Markus Voelter
(De)Composition and Refactoring / Session 4b:
Concern-Based (de)composition of Model-Driven Software Development Processes / Jendrik Johannes ; Uwe Aßmann
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling / Brice Morin ; Jacques Klein ; Jörg Kienzle ; Jean-Marc Jézéquel
Role-Based Generic Model Refactoring / Jan Reimann ; Mirko Seifert
Model Change / Session 4c:
Precise Detection of Conflicting Change Operations Using Process Model Terms / Christian Gerth ; Jochen M. Küster ; Markus Luckey ; Gregor Engels
Capturing the Intention of Model Changes / Patrick Könemann
Selective and Consistent Undoing of Model Changes / Iris Groher ; Alexander Egyed
(Meta)Models at Runtime / Session 5a:
Modeling Features at Runtime / Marcus Denker ; Jorge Ressia ; Orla Greevy ; Oscar Nierstrasz
Metamodel-Based Information Integration at Industrial Scale / Stefan Berger
Inferring Meta-models for Runtime System Data from the Clients of Management APIs / Hui Song ; Gang Huang ; Yingfei Xiong ; Franck Chauvel ; Yanchun Sun ; Hong Mei
Requirements Engineering / Session 5b:
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering / Daniel Méndez Fernández ; Birgit Penzenstadler ; Marco Kuhrmann ; Manfred Broy
A Common Framework for Synchronization in Requirements Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day ; Joanne M. Atlee
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development / Grzegorz Loniewski ; Emilio Insfran ; Silvia Abrahão
Slicing and Model Transformations / Session 5c:
Slicing of UML Models Using Model Transformations / Kevin Lano ; Shekoufeh Kolahdouz-Rahimi
An Adjustable Transformation from OWL to Ecore / Tirdad Rahmani ; Daniel Oberle ; Marco Dahms
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program / Pieter Van Gorp ; Rik Eshuis
Keynote 3
Disciplined Heterogeneous Modeling (Invited Paper) / Edward A. Lee
Incorporating Quality Concerns in MDD / Session 6a:
Design Guidelines for the Development of Quality-Driven Model Transformations / Javier Gonzalez-Huerta
Early Deviation Detection in Modeling Activities of MDE Processes / Marcos Aurélio Almeida da Silva ; Reda Bendraou ; Xavier Blanc ; Marie-Pierre Gervais
Artifact or Process Guidance, an Empirical Study / Alix Mougenot ; Jacques Robin
Model-Driven Engineering in Practice / Session 6b:
Scaling Up Model Driven Engineering - Experience and Lessons Learnt / Vinay Kulkarni ; Sreedhar Reddy ; Asha Rajbhoj
Mod4J: A Qualitative Case Study of Model-Driven Software Development / Vincent Lussenburg ; Tijs van der Storm ; Jurgen Vinju ; Jos Warmer
Modeling Issues: A Survival Guide for a Non-expert Modeler / Emilio Rodriguez-Priego ; Francisco J. García-Izquierdo ; Ángel Luis Rubio
Modeling Architecture / Session 6c:
Monarch: Model-Based Development of Software Architectures / Hamid Bagheri ; Kevin Sullivan
Model-to-Metamodel Transformation for the Development of Component-Based Systems / Gerd Kainz ; Christian Buckl ; Stephan Sommer ; Alois Knoll
Architectural Descriptions as Boundary Objects in System and Design Work / Lars Pareto ; Peter Eriksson ; Staffan Ehnebom
Author Index
Keynote 2
Modeling the Internet / Pamela Zave
Distributed/Embedded Software Development / Session 4a:
4.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 2
Modeling the Internet / Pamela Zave
Distributed/Embedded Software Development / Session 4a:
Transformation-Based Parallelization of Request-Processing Applications / Taylor L. Riché ; Harrick M. Vin ; Don Batory
Model Driven Orchestration: Design for Service Compatibility / Georg Grossmann ; Michael Schrefl ; Markus Stumptner
Embedded Software Development with Projectional Language Workbenches / Markus Voelter
(De)Composition and Refactoring / Session 4b:
Concern-Based (de)composition of Model-Driven Software Development Processes / Jendrik Johannes ; Uwe Aßmann
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling / Brice Morin ; Jacques Klein ; Jörg Kienzle ; Jean-Marc Jézéquel
Role-Based Generic Model Refactoring / Jan Reimann ; Mirko Seifert
Model Change / Session 4c:
Precise Detection of Conflicting Change Operations Using Process Model Terms / Christian Gerth ; Jochen M. Küster ; Markus Luckey ; Gregor Engels
Capturing the Intention of Model Changes / Patrick Könemann
Selective and Consistent Undoing of Model Changes / Iris Groher ; Alexander Egyed
(Meta)Models at Runtime / Session 5a:
Modeling Features at Runtime / Marcus Denker ; Jorge Ressia ; Orla Greevy ; Oscar Nierstrasz
Metamodel-Based Information Integration at Industrial Scale / Stefan Berger
Inferring Meta-models for Runtime System Data from the Clients of Management APIs / Hui Song ; Gang Huang ; Yingfei Xiong ; Franck Chauvel ; Yanchun Sun ; Hong Mei
Requirements Engineering / Session 5b:
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering / Daniel Méndez Fernández ; Birgit Penzenstadler ; Marco Kuhrmann ; Manfred Broy
A Common Framework for Synchronization in Requirements Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day ; Joanne M. Atlee
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development / Grzegorz Loniewski ; Emilio Insfran ; Silvia Abrahão
Slicing and Model Transformations / Session 5c:
Slicing of UML Models Using Model Transformations / Kevin Lano ; Shekoufeh Kolahdouz-Rahimi
An Adjustable Transformation from OWL to Ecore / Tirdad Rahmani ; Daniel Oberle ; Marco Dahms
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program / Pieter Van Gorp ; Rik Eshuis
Keynote 3
Disciplined Heterogeneous Modeling (Invited Paper) / Edward A. Lee
Incorporating Quality Concerns in MDD / Session 6a:
Design Guidelines for the Development of Quality-Driven Model Transformations / Javier Gonzalez-Huerta
Early Deviation Detection in Modeling Activities of MDE Processes / Marcos Aurélio Almeida da Silva ; Reda Bendraou ; Xavier Blanc ; Marie-Pierre Gervais
Artifact or Process Guidance, an Empirical Study / Alix Mougenot ; Jacques Robin
Model-Driven Engineering in Practice / Session 6b:
Scaling Up Model Driven Engineering - Experience and Lessons Learnt / Vinay Kulkarni ; Sreedhar Reddy ; Asha Rajbhoj
Mod4J: A Qualitative Case Study of Model-Driven Software Development / Vincent Lussenburg ; Tijs van der Storm ; Jurgen Vinju ; Jos Warmer
Modeling Issues: A Survival Guide for a Non-expert Modeler / Emilio Rodriguez-Priego ; Francisco J. García-Izquierdo ; Ángel Luis Rubio
Modeling Architecture / Session 6c:
Monarch: Model-Based Development of Software Architectures / Hamid Bagheri ; Kevin Sullivan
Model-to-Metamodel Transformation for the Development of Component-Based Systems / Gerd Kainz ; Christian Buckl ; Stephan Sommer ; Alois Knoll
Architectural Descriptions as Boundary Objects in System and Design Work / Lars Pareto ; Peter Eriksson ; Staffan Ehnebom
Author Index
Keynote 2
Modeling the Internet / Pamela Zave
Distributed/Embedded Software Development / Session 4a:
5.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
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
Consistent Modeling Using Multiple UML Profiles / Florian Noyrit ; Sébastien Gérard ; François Terrier ; Bran Selic
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:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼