Advertisement

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

  • Radu Calinescu
  • Ethan Jackson
Conference proceedings Monterey Workshop 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6662)

Table of contents

  1. Front Matter
  2. Hans Grönniger, Bernhard Rumpe
    Pages 17-32
  3. Eunsuk Kang, Ethan Jackson, Wolfram Schulte
    Pages 33-54
  4. Stefan Resmerita, Kenneth Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree
    Pages 55-76
  5. Selvi Kadirvel, José A. B. Fortes
    Pages 77-102
  6. Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault
    Pages 103-121
  7. Radu Calinescu, Shinji Kikuchi
    Pages 122-135
  8. Charles Lakos, Laure Petrucci
    Pages 136-156
  9. Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta
    Pages 157-175
  10. Douglas S. Lange
    Pages 193-205
  11. Alan Wassyng, Tom Maibaum, Mark Lawford, Hans Bherer
    Pages 206-227
  12. Back Matter

About these proceedings

Introduction

This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and business-critical applications to improve dependability and robustness and to ensure information privacy and security.

Keywords

certified software distributed and embedded systems formal methods modeling and architectures systems of systems

Editors and affiliations

  • Radu Calinescu
    • 1
  • Ethan Jackson
    • 2
  1. 1.Oxford UniversityOxfordUK
  2. 2.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21292-5
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21291-8
  • Online ISBN 978-3-642-21292-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site