close
1.

電子ブック
ＥＢ
1. Proceedings of the 1st IFIP TC6 /WG8.8 /WG11.2 international conference on Information security theory and practices: smart cards, mobile and ubiquitous computing systems
Damien Sauveron, Angelos Bilas, Takeo Kanade, Konstantinos Markantonakis, Jean-Jacques Quisquater, Association for Computing Machinery-Digital Library., International Federation for Information Processing.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Algorithmic Game Theory
Spyros Kontogiannis, Takeo Kanade, Elias Koutsoupias, Paul G. Spirakis, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
Nash Equilibria in Fisher Market
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Complexity of Safe Strategic Voting / Noam Hazon ; Edith Elkind
Bottleneck Congestion Games with Logarithmic Price of Anarchy / Rajgopal Kannan ; Costas Busch
Single-Parameter Combinatorial Auctions with Partially Public Valuations / Chinmay Karande ; Lei Wang
On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms / Volodymyr Kuleshov ; Adrian Vetta
Braess's Paradox for Flows over Time / Martin Macko ; Kate Larson ; Eubos Steskal
The Price of Anarchy in Network Creation Games Is (Mostly) Constant / Matús Mihalák ; Jan Christoph Schlegel
Truthful Fair Division / Elchanan Mossel ; Omer Tamuz
No Regret Learning in Oligopolies: Cournot vs. Bertrand / Uri Nadav ; Georgios Piliouras
On the Complexity of Pareto-optimal Nash and Strong Equilibria / Martin Hoefer ; Alexander Skopalik
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties / Vijay V. Vazirani
On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games / Bart de Keijzer ; Guido Schäfer ; Orestis A. Telelis
Minimal Subsidies in Expense Sharing Games / Reshef Meir ; Yoram Bachrach ; Jeffrey S. Rosenschein
Author Index
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
3.

電子ブック
ＥＢ
3. Algorithmic Game Theory
Spyros Kontogiannis, Takeo Kanade, Elias Koutsoupias, Paul G. Spirakis, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
Nash Equilibria in Fisher Market
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Complexity of Safe Strategic Voting / Noam Hazon ; Edith Elkind
Bottleneck Congestion Games with Logarithmic Price of Anarchy / Rajgopal Kannan ; Costas Busch
Single-Parameter Combinatorial Auctions with Partially Public Valuations / Chinmay Karande ; Lei Wang
On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms / Volodymyr Kuleshov ; Adrian Vetta
Braess's Paradox for Flows over Time / Martin Macko ; Kate Larson ; Eubos Steskal
The Price of Anarchy in Network Creation Games Is (Mostly) Constant / Matús Mihalák ; Jan Christoph Schlegel
Truthful Fair Division / Elchanan Mossel ; Omer Tamuz
No Regret Learning in Oligopolies: Cournot vs. Bertrand / Uri Nadav ; Georgios Piliouras
On the Complexity of Pareto-optimal Nash and Strong Equilibria / Martin Hoefer ; Alexander Skopalik
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties / Vijay V. Vazirani
On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games / Bart de Keijzer ; Guido Schäfer ; Orestis A. Telelis
Minimal Subsidies in Expense Sharing Games / Reshef Meir ; Yoram Bachrach ; Jeffrey S. Rosenschein
Author Index
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
4.

電子ブック
ＥＢ
4. Model Driven Engineering Languages and Systems
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library., Clay Williams
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Model Driven Engineering Languages and Systems
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library., Clay Williams
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Proceedings of the Third international conference on Algorithmic game theory
Spyros Kontogiannis, Takeo Kanade, Elias Koutsoupias, Paul G. Spirakis, Association for Computing Machinery-Digital Library., Paul Spirakis
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
Nash Equilibria in Fisher Market
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Complexity of Safe Strategic Voting / Noam Hazon ; Edith Elkind
Bottleneck Congestion Games with Logarithmic Price of Anarchy / Rajgopal Kannan ; Costas Busch
Single-Parameter Combinatorial Auctions with Partially Public Valuations / Chinmay Karande ; Lei Wang
On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms / Volodymyr Kuleshov ; Adrian Vetta
Braess's Paradox for Flows over Time / Martin Macko ; Kate Larson ; Eubos Steskal
The Price of Anarchy in Network Creation Games Is (Mostly) Constant / Matús Mihalák ; Jan Christoph Schlegel
Truthful Fair Division / Elchanan Mossel ; Omer Tamuz
No Regret Learning in Oligopolies: Cournot vs. Bertrand / Uri Nadav ; Georgios Piliouras
On the Complexity of Pareto-optimal Nash and Strong Equilibria / Martin Hoefer ; Alexander Skopalik
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties / Vijay V. Vazirani
On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games / Bart de Keijzer ; Guido Schäfer ; Orestis A. Telelis
Minimal Subsidies in Expense Sharing Games / Reshef Meir ; Yoram Bachrach ; Jeffrey S. Rosenschein
Author Index
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
7.

電子ブック
ＥＢ
7. Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library., Clay Williams, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. 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.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
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
9.

電子ブック
ＥＢ
9. 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
所蔵情報: loading…
目次情報: 続きを見る
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
10.

電子ブック
ＥＢ
10. Proceedings of the 9th international conference on 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.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼