ws_2008

15th Monterey Workshop: Foundations of Computer Software, Future Trends and Techniques for Development (2008)

Computer systems are required to manage very large numbers of data and pieces of information in a distributed way.

While complex computations are performed, there is a need to provide relevant and helpful displays to human actors so as to ease some tasks as interpretation, decision making, etc.

We would like to explore how the foundations and techniques of computer software should be adapted to comply with such a challenge. This involves the whole software life cycle, starting from specification and analysis, design and the choice of architectures, large scale, real-world software development, code generation and configuration/deployment. In this context, certification and security become, of course, critical issues.

Decision making requires such mechanisms as automatic classification or clustering, high level visualization and navigation mechanisms, and may involve also market mechanisms, e.g. economic mechanisms for control of complex systems behaviour.

View the Proceedings here. | Download (PDF)

Workshop Topics

Workshop topics include but are not limited to:

  • specification, analysis and design, formal methods 
  • certification, relationships between code and specification, security 
  • code generation, configuration, deployment, software product lines, MDA (Model Driven Architectures), SOA (Services Oriented Architectures) 

Workshop Chairs

The workshop will be chaired by Professors Tadeusz Dobrowiecki (Budapest University of Technology and Economics) and Janos Sztipanovits (Vanderbilt University, USA).

Steering Committee

The Monterey Workshop Community has a long history of productive, high-quality workshops, directed by an international steering committee consisting of leaders in the field of software engineering and formal methods under the visionary leadership of David Hislop:

  • David Hislop - Army Research Office, US
  • Luqi - Naval Postgraduate School, Monterey, California, US
  • Zohar Manna - Stanford University, California, US
  • Manfred Broy - Technical University Munich, Germany
  • Egidio Astesiano - University of Genova, Italy
  • Fabrice Kordon - University of Pierre & Marie Curie, Paris, France
  • Janos Sztipanovits - Vanderbilt University, Nashville, Tennessee, US
  • Hermann Kopetz - Vienna University of Technology, Vienna, Austria

Program Chairs

  • Christine Choppy (Université Paris XII), France), Program Chair leader
  • Wolfgang Pree (University of Salzburg, Austria)
  • Oleg Sokolsky (University of Pennsylvania, USA)
  • Kurt C. Wallnau (Carnegie Mellon University, USA)
15th ws pics

proceedings cover

Christine Choppy, Oleg Sokolsky (Eds.): Foundations of Computer Software: Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers, Springer LNCS 6028, 2008, ISBN 978-3-642-12565-2. DOI: https://doi.org/10.1007/978-3-642-12566-9