close
1.

電子ブック

EB
Will van der Aalst, Bertrand Meyer, John Mylopoulos, Manuel Oriol
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer ; Martina Seidl ; Petra Brosch ; Horst Kargl ; Gerti Kappel
Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek
Reflection and Aspects
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition / Andrew Camilleri ; Geoffrey Coulson ; Lynne Blair
A Diagrammatic Formalisation of MOF-Based Modelling Languages / Adrian Rutle ; Alessandro Rossini ; Yngve Lamo ; Uwe Wolter
Designing Design Constraints in the UML Using Join Point Designation Diagrams / Vanessa Stricker ; Stefan Hanenberg ; Dominik Stein
Stream-Based Dynamic Compilation for Object-Oriented Languages / Michael Bebenita ; Mason Chang ; Andreas Gal ; Michael Franz
Models
Algebraic Semantics of OCL-Constrained Metamodel Specifications / Artur Boronat ; José Meseguer
Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages / Aram Hovsepyan ; Stefan Van Baelen ; Yolande Berbers ; Wouter Joosen
Early Crosscutting Metrics as Predictors of Software Instability / José M. Conejero ; Eduardo Figueiredo ; Alessandro Garcia ; Juan Hernández ; Elena Jurado
Extensibility in Model-Based Business Process Engines / Mario Sánchez ; Camilo Jiménez ; Jorge Villalobos ; Dirk Deridder
Theory
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach / Christian Kästner ; Sven Apel ; Salvador Trujillo ; Martin Kuhlemann ; Don Batory
A Sound and Complete Program Logic for Eiffel / Martin Nordio ; Cristiano Calcagno ; Peter Müller ; Bertrand Meyer
Components
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers / Olivier Caron ; Bernard Carré ; Alexis Muller ; Gilles Vanwormhoudt
A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks / Elisa Gonzalez Boix ; Tom Van Cutsem ; Jorge Vallejos ; Wolfgang De Meuter ; Theo D'Hondt
Monitoring
Reusing and Composing Tests with Traits / Stéphane Ducasse ; Damien Pollet ; Alexandre Bergel ; Damien Cassou
Flow-Centric, Back-in-Time Debugging / Adrian Lienhard ; Julien Fierz ; Oscar Nierstrasz
A Classification Framework for Pointcut Languages in Runtime Monitoring / Karl Klose ; Klaus Ostermann
Systems Generation
Fast Simulation Techniques for Design Space Exploration / Daniel Knorreck ; Ludovic Apvrille ; Renaud Pacalet
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy / Camillo Bruni ; Toon Verwaest
Short Papers
Using Grammarware Languages to Define Operational Semantics of Modelled Languages / Daniel A. Sadilek ; Guido Wachsmuth
Automatic Generation of Integrated Formal Models Corresponding to UML System Models / Helen Treharne ; Edward Turner ; Richard F. Paige ; Dimitrios S. Kolovos
Author Index
Invited Presentations
On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer ; Martina Seidl ; Petra Brosch ; Horst Kargl ; Gerti Kappel
Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek
2.

電子ブック

EB
Will van der Aalst, Bertrand Meyer, John Mylopoulos, Manuel Oriol
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer ; Martina Seidl ; Petra Brosch ; Horst Kargl ; Gerti Kappel
Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek
Reflection and Aspects
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition / Andrew Camilleri ; Geoffrey Coulson ; Lynne Blair
A Diagrammatic Formalisation of MOF-Based Modelling Languages / Adrian Rutle ; Alessandro Rossini ; Yngve Lamo ; Uwe Wolter
Designing Design Constraints in the UML Using Join Point Designation Diagrams / Vanessa Stricker ; Stefan Hanenberg ; Dominik Stein
Stream-Based Dynamic Compilation for Object-Oriented Languages / Michael Bebenita ; Mason Chang ; Andreas Gal ; Michael Franz
Models
Algebraic Semantics of OCL-Constrained Metamodel Specifications / Artur Boronat ; José Meseguer
Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages / Aram Hovsepyan ; Stefan Van Baelen ; Yolande Berbers ; Wouter Joosen
Early Crosscutting Metrics as Predictors of Software Instability / José M. Conejero ; Eduardo Figueiredo ; Alessandro Garcia ; Juan Hernández ; Elena Jurado
Extensibility in Model-Based Business Process Engines / Mario Sánchez ; Camilo Jiménez ; Jorge Villalobos ; Dirk Deridder
Theory
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach / Christian Kästner ; Sven Apel ; Salvador Trujillo ; Martin Kuhlemann ; Don Batory
A Sound and Complete Program Logic for Eiffel / Martin Nordio ; Cristiano Calcagno ; Peter Müller ; Bertrand Meyer
Components
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers / Olivier Caron ; Bernard Carré ; Alexis Muller ; Gilles Vanwormhoudt
A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks / Elisa Gonzalez Boix ; Tom Van Cutsem ; Jorge Vallejos ; Wolfgang De Meuter ; Theo D'Hondt
Monitoring
Reusing and Composing Tests with Traits / Stéphane Ducasse ; Damien Pollet ; Alexandre Bergel ; Damien Cassou
Flow-Centric, Back-in-Time Debugging / Adrian Lienhard ; Julien Fierz ; Oscar Nierstrasz
A Classification Framework for Pointcut Languages in Runtime Monitoring / Karl Klose ; Klaus Ostermann
Systems Generation
Fast Simulation Techniques for Design Space Exploration / Daniel Knorreck ; Ludovic Apvrille ; Renaud Pacalet
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy / Camillo Bruni ; Toon Verwaest
Short Papers
Using Grammarware Languages to Define Operational Semantics of Modelled Languages / Daniel A. Sadilek ; Guido Wachsmuth
Automatic Generation of Integrated Formal Models Corresponding to UML System Models / Helen Treharne ; Edward Turner ; Richard F. Paige ; Dimitrios S. Kolovos
Author Index
Invited Presentations
On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer ; Martina Seidl ; Petra Brosch ; Horst Kargl ; Gerti Kappel
Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼