Formal Description Techniques, V: Proceedings of the Ifip Tc6/Wg6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--Forte 92, Perros-Guirec, France, 13-16 October 1992
Formal Description Techniques, V: Proceedings of the Ifip Tc6/Wg6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--Forte 92, Perros-Guirec, France, 13-16 October 1992
This volume addresses the development and use of Formal Description Techniques (FDTs) that are applicable to Distributed Systems. The approaches considered are standard FTDs such as ASN.1., Estelle, LOTOS and SDL, as well as other formal approaches that contain innovative ideas and apply to distributed systems, such as Actors, B, Z and VDM. industrialization of Formal Techniques. There are also papers discussing industrial applicability of the techniques to protocols and distributed systems, which aim to provide an ...
Read More
This volume addresses the development and use of Formal Description Techniques (FDTs) that are applicable to Distributed Systems. The approaches considered are standard FTDs such as ASN.1., Estelle, LOTOS and SDL, as well as other formal approaches that contain innovative ideas and apply to distributed systems, such as Actors, B, Z and VDM. industrialization of Formal Techniques. There are also papers discussing industrial applicability of the techniques to protocols and distributed systems, which aim to provide an orientation for newcomers. Researchers papers and industrial reports cover the following areas of FDT-based software engineering - methodology and architecture, design and implementation, comparative analyses of FDTs, practical usage experience and case studies.
Read Less
Add this copy of Formal Description Techniques, V (Ifip Transactions C: to cart. $77.51, like new condition, Sold by Bookmonger.Ltd rated 5.0 out of 5 stars, ships from Hillside, NJ, UNITED STATES, published 1993 by North Holland.
Add this copy of Formal Description Techniques, V (Ifip Transactions C: to cart. $129.18, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by North Holland.
