Programming and Software Engineering

Models in Software Engineering

Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Editors: Chaudron, Michel R. V. (Ed.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-642-01648-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
  • Institutional customers should get in touch with their account manager
Softcover $119.00
price for USA in USD
About this book

This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008.

The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.

Table of contents (41 chapters)

Table of contents (41 chapters)
  • Model Based Architecting and Construction of Embedded Systems

    Pages 1-4

    Ober, Iulian (et al.)

  • Translating AADL into BIP - Application to the Verification of Real-Time Systems

    Pages 5-19

    Chkouri, M. Yassin (et al.)

  • Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation

    Pages 20-34

    Porter, Joseph (et al.)

  • Challenges in Model-Driven Software Engineering

    Pages 35-47

    Straeten, Ragnhild (et al.)

  • The Grand Challenge of Scalability for Model Driven Engineering

    Pages 48-53

    Kolovos, Dimitrios S. (et al.)

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-642-01648-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
  • Institutional customers should get in touch with their account manager
Softcover $119.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Models in Software Engineering
Book Subtitle
Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Editors
  • Michel R. V. Chaudron
Series Title
Programming and Software Engineering
Series Volume
5421
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-01648-6
DOI
10.1007/978-3-642-01648-6
Softcover ISBN
978-3-642-01647-9
Edition Number
1
Number of Pages
XI, 404
Topics