Saturday, 25th March
afternoon 14:00-17:30	XML for Software Engineers Andrea Zisman, Anthony Finkelstein (University College London) The tutorial introduces XML to Software Engineers by presenting the main features of XML and focuses on its use in Software Engineering applications. The tutorial reflects the development of a new technology and our understanding of the importance of this technology for Software Engineers in general.
afternoon 14:00-17:30	A tutorial on Maude Narciso Martí Oliet (Universidad Complutense, Madrid), José Meseguer (SRI International) The scope and objectives of the tutorial will center on giving the participants a gentle introduction to the main features and concepts of Maude, illustrating those concepts with well-chosen examples. The emphasis will be on becoming familiar with the language an its use, so that it will be then easy for a tutorial participant to begin using Maude on his/her own. The background assumed will be a vague familiarity with declarative programming ideas; some acquaintance with algebraic specifications will be helpful, but not necessary. The presentation style will introduce concepts by example, and will not assume familiarity with the underlying theoretical ideas. Further detailed information: http://maude.csl.sri.com/
Sunday, 26th March
fullday 9:00-17:30	Rigorous Requirements for Safety-Critical Systems: Fundamentals and Applications of the SCR Method Constance L. Heitmeyer (Naval Research Laboratory) The Software Cost Reduction (SCR) requirements method is a practical, industrial-strength approach that supports the development of requirements specifications that are precise, unambiguous, and testable. It scales to large applications, producing specifications that are both easy to understand and easy to change. Developed for use by engineers, the SCR method has been applied to a wide range of practical systems. Currently, more than 70 organizations in industry, government, and academia are experimenting with the SCR method and tools. Further detailed information: http://chacs.nrl.navy.mil/scrtutorial
morning 9:00-12:30 cover slides	Multi-Paradigm Programming Michael Hanus (University of Kiel) This tutorial provides an overview of high-level languages and programming techniques that combine diferent programming paradigms. The main emphasis is on declarative languages since they support a high-level style of programming and appropriate abstraction facilities. In particular, we show that functional languages are a good starting point for multi-paradigm programming. Further detailed information: http://www.informatik.uni-kiel.de/~mh/tutorials/etaps00.html
Saturday, 1st April
fullday 9:00-17:30	The Unified Modelling Language Perdita Stevens (University of Edinburgh) The Unified Modelling Language is a diagrammatic language for describing the design of software, especially but not exclusively object oriented software. It has been adopted as a standard by the OMG, is already widely used, and seems certain to dominate all other similar languages. The principal aim of this tutorial is to give participants a working familiarity with the essentials of UML so that they will be able to read and write simple UML models. A subsidiary aim is to discuss the research agenda with respect to UML. For example, what problems are outstanding in UML, and what is being done about them? What should the role of formalism be in UML? What tool support exists, what is possible, and where is further progress required? The tutorial will include opportunities for participation and discussion.
Sunday, 2nd April
morning 9:00-12:30 part a part b part c part d	SDL 2000 Joachim Fischer (HU Berlin), Andreas Prinz (Research Digital Media Systems GmbH), Eckhardt Holz (HU Berlin) A new version of the Specification and Description Language (SDL) is currently on its way through the standardisation in the International Telecommunication Union (ITU). This version is a major revision of SDL taking into account many modern concepts of the design of distributed and object-oriented systems.