Two of the invited lectures are reserved for “unifying” talks on topics of interest to the whole range of ETAPS attendees. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Its format is open-ended, allowing it to grow and evolve as time goes by. ETAPS is a loose confederation in which each event retains its own identity, with a separate program committee and independent proceedings.
#Timetool 1.0.0.1 software#
Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. Different blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. The languages, methodologies and tools that support these activities are all well within its scope. The events that comprise ETAPS address various aspects of the system development process, including specification, design, implementation, analysis and improvement. This year it comprised five conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are specific to the satellite events). ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. Springer-Verlag is a part of Springer Science+Business Media c Springer-Verlag Berlin Heidelberg 2004 Printed in Germany Typesetting: Camera-ready by author, data conversion by Olgun Computergrafik Printed on acid-free paper SPIN: 10990582 06/3142 543210ĮTAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. Violations are liable for prosecution under the German Copyright Law. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. ĬR Subject Classification (1998): D.2, D.3, F.3 ISSN 0302-9743 ISBN 5-8 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie detailed bibliographic data is available in the Internet at. IV 44221 Dortmund E-mail: Ĭataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress.
#Timetool 1.0.0.1 series#
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Michel Wermelinger Universidade Nova de Lisboa Departamento de Inform´atica 2829-516 Caparica, Portugal E-mail: Tiziana Margaria-Steffen Universit¨at Dortmund Fachbereich Informatik, LS V, Geb. Michel Wermelinger Tiziana Margaria-Steffen (Eds.)įundamentalApproaches to Software Engineering 7th International Conference, FASE 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 – ApProceedings van Leeuwenīerlin Heidelberg New York Hong Kong London Milan Paris Tokyo Lecture Notes in Computer Science Edited by G.