To be held in conjunction with
8th International Symposium on the
Foundations of Software Engineering (FSE-8 / ACM SIGSoft 2000)
This is the tenth forum in the very successful series of International Workshops on Software Specification and Design, which offers an opportunity for researchers working on requirements specification, design and software architecture methods, concurrent, distributed and real-time systems, and formal models to meet together in an informal yet focused setting.
After ten years, the software engineering community is entering a new era in software development. New software technologies and infrastructures have greatly changed the way we produce software; this evolution will continue in the near and distant future.
The accepted papers address a number of challenging issues in software development, which led to organizing the workshop around the following three tracks:
Reactive and Real-Time Systems
Requirements, specification and analysis of reactive, real time systems, from requirements to architectures and specifications to analysis.
Quantitative and Non-Functional Qualities
Quantitative requirements and non-functional characterizations of application context, from requirements to architectures to specifications, including analysis and simulation.
[In]completeness, [In]consistency and [Sufficient]
Management of incompleteness, consistency versus inconsistency, sufficient correctness versus correctness, from requirements to specification to architecture and process.
The workshop program is arranged with plenary sessions with invited speakers, parallel working groups for each of the three tracks, and plenary sessions to report on progress made within each group:
Sunday , November 5
12-2 working group facilitator lunch
3-5 plenary session
Monday , November 6
9-12 working groups
2-3 working groups
Tuesday , November 7
9-12 working groups
More details will be forthcoming.
Department of Computer Science
University of Oregon, Eugene
Dipartimento di Matematica Pura ed Applicata
Università dellíAquila, Italy
Department of Information and Computer Science
University of California, Irvine
Abstract submission deadline:
Program CommitteeUgo Buy, USA
Elisabetta Di Nitto, Italy
Matthew Dwyer, USA
Steve Easterbrook, Canada
Martin Feather, USA
Jose Fiadeiro, Portugal
Anthony Finkelstein, UK
Mats Heimdahl, USA
Connie Heitmeyer, USA
Daniel Jackson, USA
Jeff Magee, UK
Motoshi Saeki, Japan
Wilhelm Schaefer, Germany
Dave Wile, USA
Dany Yankelevich, Argentina
last updated: 7 February 2000