Atjaunināt sīkdatņu piekrišanu

E-grāmata: Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 6981
  • Izdošanas datums: 12-Oct-2011
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783642244858
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 6981
  • Izdošanas datums: 12-Oct-2011
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783642244858

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.
Keynote 1
The Value in Muddling Around Modelling (Abstract)
1(1)
Marian Petre
Model Transformations
1(46)
Towards Quality Driven Exploration of Model Transformation Spaces
2(15)
Mauro Luigi Drago
Carlo Ghezzi
Raffaela Mirandola
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation
17(15)
Gerd Kainz
Christian Buckl
Alois Knoll
Lazy Execution of Model-to-Model Transformations
32(15)
Massimo Tisi
Salvador Martinez
Frederic Jouault
Jordi Cabot
Model Complexity
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework
47(15)
Joanna Chimiak-Opoka
Modeling Model Slicers
62(15)
Arnaud Blouin
Benoit Combemale
Benoit Baudry
Olivier Beaudoux
Morsa: A Scalable Approach for Persisting and Accessing Large Models
77(16)
Javier Espinazo Pagan
Jesus Sanchez Cuadrado
Jesus Garcia Molina
Aspect-Oriented Modeling
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain
93(15)
Johan Fabry
Arturo Zambrano
Silvia Gordillo
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms
108(15)
Shaukat Ali
Lionel C. Briand
Andrea Arcuri
Suneth Walawege
Aspect-Oriented Modelling for Distributed Systems
123(15)
Wisam Al Abed
Jorg Kienzle
Analysis and Comprehension of Models
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments
138(15)
Gianna Reggio
Filippo Ricca
Giuseppe Scanniello
Francesco Di Cerbo
Gabriella Dodero
Semantically Configurable Consistency Analysis for Class and Object Diagrams
153(15)
Shahar Maoz
Jan Oliver Ringert
Bernhard Rumpe
Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension
168(15)
Gabriele Bavota
Carmine Gravino
Rocco Oliveto
Andrea De Lucia
Genoveffa Tortora
Marcela Genero
Jose Antonio Cruz-Lemus
Domain-Specific Modeling
Engineering Android Applications Based on UML Activities
183(15)
Frank Alexander Kraemer
Domain-Specific Model Transformation in Building Quantity Take-Off
198(15)
Jim Steel
Robin Drogemuller
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks
213(15)
Marc Palyart
David Lugato
Ileana Ober
Jean-Michel Bruel
Models for Embedded Systems
A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice
228(15)
Michael Lettner
Michael Tschernuth
Rene Mayrhofer
Designing Heterogeneous Component Based Systems: Evaluation of Marte Standard and Enhancement Proposal
243(15)
Ali Koudri
Arnaud Cuccuru
Sebastien Gerard
Francois Terrier
Semantic Clone Detection for Model-Based Development of Embedded Systems
258(15)
Bakr Al-Batran
Bernhard Schatz
Benjamin Hummel
Model Synchronization
Instant and Incremental QVT Transformation for Runtime Models
273(16)
Hui Song
Gang Huang
Franck Chauvel
Wei Zhang
Yanchun Sun
Weizhong Shao
Hong Mei
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior
289(15)
Mickael Clavreul
Sebastien Mosser
Mireille Blay-Fornarino
Robert B. France
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case
304(15)
Zinovy Diskin
Yingfei Xiong
Krzysztof Czarnecki
Hartmut Ehrig
Frank Hermann
Fernando Orejas
Model-Based Resource Management
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches
319(15)
Brahim Hamid
Sigrid Gurgens
Christophe Jouvray
Nicolas Desnos
A Model-Based and Automated Approach to Size Estimation of Embedded Software Components
334(15)
Kenneth Lind
Rogardt Heldal
MDE to Manage Communications with and between Resource-Constrained Systems
349(15)
Franck Fleurey
Brice Morin
Arnor Solberg
Olivier Barais
Analysis of Class Diagrams
Diagram Definition: A Case Study with the UML Class Diagram
364(15)
Maged Elaasar
Yvan Labiche
Reducing Multiplicities in Class Diagrams
379(15)
Ingo Feinerer
Gernot Salzer
Tanja Sisel
Keynote 2
Creating Models for Simulating the Face (Abstract)
394(1)
Mark Sagar
Verification and Validation 1
EUnit: A Unit Testing Framework for Model Management Tasks
395(15)
Antonio Garcia-Dominguez
Dimitrios S. Kolovos
Louis M. Rose
Richard F. Paige
Inmaculada Medina-Bulo
Verifying UML-RT Protocol Conformance Using Model Checking
410(15)
Yann Moffett
Alain Beaulieu
Juergen Dingel
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines
425(15)
Harald Cichos
Sebastian Oster
Malte Lochau
Andy Schurr
Refactoring Models
Constraint-Based Model Refactoring
440(15)
Friedrich Steimann
Supporting Design Model Refactoring for Improving Class Responsibility Assignment
455(15)
Motohiro Akiyama
Shinpei Hayashi
Takashi Kobayashi
Motoshi Saeki
Modeling Visions
Vision Paper: The Essence of Structural Models
470(10)
Dmitrijs Zaparanuks
Matthias Hauswirth
Vision Paper: Towards Model-Based Energy Testing
480(10)
Claas Wilke
Sebastian Gotz
Jan Reimann
Uwe Aßmann
Vision Paper: Make a Difference! (Semantically)
490(11)
Uli Fahrenberg
Axel Legay
Andrzej Wasowski
Logics and Modeling
Automatic Derivation of Utility Functions for Monitoring Software Requirements
501(16)
Andres J. Ramirez
Betty H.C. Cheng
Logic-Based Model-Level Software Development with F-OML
517(16)
Mira Balaban
Michael Kifer
Formal Verification of QVT Transformations for Code Generation
533(15)
Kurt Stenzel
Nina Moebius
Wolfgang Reif
Development Methods
Model-Based (Mechanical) Product Design
548(15)
Mehdi Iraqi-Houssaini
Mathias Kleiner
Lionel Roucoules
Applying a Model-Based Approach to IT Systems Development Using SysML Extension
563(15)
Sayaka Izukura
Kazuo Yanoo
Takao Osaki
Hiroshi Sakaki
Daichi Kimura
Jianwen Xiang
Early Experience with Agile Methodology in a Model-Driven Approach
578(13)
Vinay Kulkarni
Souvik Barat
Uday Ramteerthkar
Keynote 3
Finding Models in Model-Based Development (Abstract)
591(1)
Wolfram Schulte
Ethan K. Jackson
Model Transformations 2
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited
592(16)
Shahar Maoz
Jan Oliver Ringert
Bernhard Rumpe
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?
608(15)
Antoine Floch
Tomofumi Yuki
Clement Guy
Steven Derrien
Benoit Combemale
Sanjay Rajopadhye
Robert B. France
Towards a General Composition Semantics for Rule-Based Model Transformation
623(15)
Dennis Wagelaar
Massimo Tisi
Jordi Cabot
Frederic Jouault
Verification and Validation 2
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible
638(15)
Martin Fagereng Johansen
Øystein Haugen
Franck Fleurey
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs
653(15)
Ethan K. Jackson
Tihamer Levendovszky
Daniel Balasubramanian
Correctness of Model Synchronization Based on Triple Graph Grammars
668(15)
Frank Hermann
Hartmut Ehrig
Fernando Orejas
Krzysztof Czarnecki
Zinovy Diskin
Yingfei Xiong
Model Integration and Collaboration
A Toolchain for the Detection of Structural and Behavioral Latent System Properties
683(16)
Adam C. Jensen
Betty H.C. Cheng
Heather J. Goldsby
Edward C. Nelson
Defining Marte's VSL as an Extension of Alf
699(15)
Arnaud Cuccuru
Sebastien Gerard
Francois Terrier
Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models
714(15)
Rixin Zhang
Ajay Krishnan
Author Index 729