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.
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)
About the Monterey Workshop Series
The workshop will be the 15th in the Monterey workshop series, initiated in 1993 and devoted to exploring the critical problems associated with cost-effective development of high-quality software systems. Monterey workshops have a rich history of bringing together both American and European scientists that share a common interest in seeing that software development research serves as a catalyst for practical advances in next-generation software intensive systems. These workshops have been highly praised by participants for their high quality of presentations and discussions and given rise to many new collaborations that have significantly advanced the field.
The last few years the workshop has been held alternately in Europe and the United States. This year, the workshop will be held in Budapest, Hungary on September 24-28, 2008.
Proceedings
The proceedings of the workshop will be published by Springer Verlag as for 2002 (LNCS 2941), 2005 (LNCS 4322), 2006 (LNCS 4888) and 2007 (under elaboration).
Given the interactive nature of the workshop, the proceedings will be published after the workshop to allow the participants to include the results of the discussion in their submissions. All submissions will be reviewed by the program committee before publication.
The workshop agenda and abstracts of presentations will be published on this website before the workshop, and presentation material will be available on this site afterwards, similar to the websites of previous workshops in this series (e.g., see for the 2006 workshop’s website as well as links to the websites of previous years, which can be reached from the 2007 edition’s web site).
Previous Workshops
-
Monterey 2007 - Workshop on Innovations for requirement Analysis: From Stakeholders Needs to Formal Designs
-
Monterey 2006 - Workshop on Composition of Embedded Systems: Scientific and Industrial Issues
-
Monterey 2005 - Workshop on Networked Systems: realization of reliable systems on top of unreliable networked platforms
-
Monterey 2004 - Workshop on Software Engineering Tools: Compatibility and Integration
-
Monterey 2003 - Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation
-
Monterey 2002 - Radical Innovations of Software and Systems Engineering in the Future
-
Monterey 2001 - Engineering Automation for Software Intensive System Integration
-
Monterey 2000 - Modeling Software System Structures in a fastly moving scenario
