Foundations of Computer Software. Future Trends and Techniques for Development

15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

  • Christine Choppy
  • Oleg Sokolsky
Conference proceedings Monterey Workshop 2008

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

Table of contents

  1. Front Matter
  2. Egidio Astesiano, Gianna Reggio
    Pages 1-23
  3. Mehdi Ben Hmida, Serge Haddad
    Pages 24-42
  4. Vladis Berzins, Luqi, Peter Musial
    Pages 43-58
  5. Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ
    Pages 83-92
  6. Claudiu Farcas, Emilia Farcas, Ingolf Krüger
    Pages 93-115
  7. Hauke Fuhrmann, Reinhard von Hanxleden
    Pages 116-140
  8. Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær
    Pages 141-153
  9. Fabrice Kordon, Yann Thierry-Mieg
    Pages 181-200
  10. Syed Asad Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, Mario Südholt
    Pages 201-226
  11. Oleg Sokolsky, Alexander Chernoguzov
    Pages 227-249
  12. Alan Wassyng, Tom Maibaum, Mark Lawford
    Pages 250-274
  13. Back Matter

About these proceedings

Keywords

Simulation Software Engineering Web Services agile computing aspect oriented conformance checking design discourse meaning machine learning model-driven prototyping modeling natural language ontologies requirement models verification

Editors and affiliations

  • Christine Choppy
    • 1
  • Oleg Sokolsky
    • 2
  1. 1.Institut GaliléeLaboratoire d’Informatique de l’Université Paris Nord, UMR CNRS 7030VilletaneuseFrance
  2. 2.Department of Computer Science and Information ScienceUniversity of PennsylvaniaPhiladelphiaUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-12566-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-12565-2
  • Online ISBN 978-3-642-12566-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book