Formal Methods and Software Engineering 5th International Conference
This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed t
- PDF / 6,284,063 Bytes
- 693 Pages / 430 x 660 pts Page_size
- 36 Downloads / 241 Views
2885
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Jin Song Dong Jim Woodcock (Eds.)
Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003 Singapore, November 5-7, 2003 Proceedings
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Jin Song Dong National University of Singapore, Computer Science Department 3 Science Drive 2, Singapore 117543 E-mail: [email protected] Jim Woodcock University of Kent, Computing Laboratory Canterbury, Kent, CT2 7NF, UK E-mail: [email protected]
Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress. 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 .
CR Subject Classification (1998): D.2.4, D.2, F.3, D.3, F.4 ISSN 0302-9743 ISBN 3-540-20461-X Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. 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. 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. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2003 Printed in Germany Typesetting: Camera-ready by author, data conversion by Olgun Computergrafik Printed on acid-free paper SPIN: 10967843 06/3142 543210
Preface
This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the fifth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from industry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 countries in various regions. After each paper was reviewed by at least three referees in each relevant field, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great efforts in the reviewing and selecting process. We are indeb
Data Loading...
