Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4574)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FORTE 2007.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The ?rst PSTV conference took place in 1981, and the ?rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re?ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the ?agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26–29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.
Similar content being viewed by others
Keywords
Table of contents (23 papers)
-
Front Matter
-
Technical Session 1. Message Sequence Charts and SDL
-
Technical Session 3. Model Programs
-
Technical Session 7. Requirements and QoS
Other volumes
-
Formal Techniques for Networked and Distributed Systems – FORTE 2007
Bibliographic Information
Book Title: Formal Techniques for Networked and Distributed Systems - FORTE 2007
Book Subtitle: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Editors: John Derrick, Jüri Vain
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-73196-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2007
Softcover ISBN: 978-3-540-73195-5Published: 12 June 2007
eBook ISBN: 978-3-540-73196-2Published: 07 July 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 378
Topics: Computer Communication Networks, Software Engineering, Logics and Meanings of Programs, Operating Systems