Programming and Software Engineering

Formal Techniques for Networked and Distributed Systems - FORTE 2007

27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Editors: Derrick, John, Vain, Jüri (Eds.)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-73196-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-73195-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (23 chapters)

  • Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

    Graf, Susanne (et al.)

    Pages 1-18

  • Thread–Based Analysis of Sequence Diagrams

    Dan, Haitao (et al.)

    Pages 19-34

  • Recovering Repetitive Sub-functions from Observations

    Jourdan, Guy-Vincent (et al.)

    Pages 35-49

  • Specification of Timed EFSM Fault Models in SDL

    Batth, S. S. (et al.)

    Pages 50-65

  • Coordination Via Types in an Event-Based Framework

    Ferrari, Gianluigi (et al.)

    Pages 66-80

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-73196-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-73195-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Programming and Software Engineering
Series Volume
4574
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-540-73196-2
DOI
10.1007/978-3-540-73196-2
Softcover ISBN
978-3-540-73195-5
Edition Number
1
Number of Pages
XI, 378
Topics