Protocol Specification, Testing and Verification: 11th: 1991: International Workshop Proceedings (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Hardcover

 
9780444892102: Protocol Specification, Testing and Verification: 11th: 1991: International Workshop Proceedings (Protocol Specification, Testing and Verification: International Workshop Proceedings)
Hardcover
ISBN 10: 0444892109 ISBN 13: 9780444892102
Verlag: Elsevier Science Ltd, 1991

Inhaltsangabe

This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools. In addition to these more traditional topics, contributions are included on: #Specification, testing and verification of real-time properties; #Novel methods for formal specification of realistic services; #Automated and semi-automated analysis of non-finite-state systems; #Design and implementation by stepwise refinement and #Applications of the above to new generations of high-speed networks, multi-media services and distributed environments for computer supported cooperative work.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools. In addition to these more traditional topics, contributions are included on: #Specification, testing and verification of real-time properties; #Novel methods for formal specification of realistic services; #Automated and semi-automated analysis of non-finite-state systems; #Design and implementation by stepwise refinement and #Applications of the above to new generations of high-speed networks, multi-media services and distributed environments for computer supported cooperative work.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1991
Sprache
Englisch
ISBN 10 
0444892109
ISBN 13 
9780444892102
Einband
Tapa dura
Anzahl der Seiten
380
Herausgeber
Jonsson Bengt, Etc., Parrow J., Pehrson B.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar