Protocol Specification, Testing and Verification, XII (e-bog) af -
Uyar, M.U. (redaktør)

Protocol Specification, Testing and Verification, XII e-bog

473,39 DKK (inkl. moms 591,74 DKK)
For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations.Issues d...
E-bog 473,39 DKK
Forfattere Uyar, M.U. (redaktør)
Forlag North Holland
Udgivet 20 september 2016
Genrer Computer programming / software engineering
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9781483293349
For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations.Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models.Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena.