Formal Description Techniques IX: Theory, application and tools / Edition 1

by R. Gotzhein, J. Bredereke

Overview

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

Product Details

ISBN-13:	9780412794902
Publisher:	Springer US
Publication date:	09/30/1996
Series:	IFIP Advances in Information and Communication Technology
Edition description:	1996
Pages:	518
Product dimensions:	6.10(w) x 9.25(h) x 0.05(d)

Table of Contents

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