Gotzhein

Formal Description Techniques IX

Theory, application and tools
Herausgegeben:Gotzhein, R.; Bredereke, J.

• Gebundenes Buch

Produktbeschreibung

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Produktdetails

• IFIP Advances in Information and Communication Technology
• Verlag: Springer / Springer US / Springer, Berlin
• Artikelnr. des Verlages: 978-0-412-79490-2
• 1996.
• Seitenzahl: 532
• Erscheinungstermin: 30. September 1996
• Englisch
• Abmessung: 241mm x 160mm x 33mm
• Gewicht: 925g
• ISBN-13: 9780412794902
• ISBN-10: 041279490X
• Artikelnr.: 23088732

Inhaltsangabe

Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.