Artículos relacionados a Formal Methods for Computer/Communications Protocols...
Formal Methods for Computer/Communications Protocols and Software: Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Tapa blanda
Reseña del editor
This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory for semantic equivalence that is congrunt and develops a formal method to prove the equivalence. It then develops formal methods for automated derivation of testing sequences. These cover both control flow and data flow. These methods are proven to have the widest applicability and coverage in terms of discovering errors if there are. Then, we develop formal methods to transform formal specifications given by ISO Formal Description Techniques (FDTs). This has applications in building common semantic model for the various FDTs as well as in automated derivation of test sequences, and in automated derivation of conforming implementations. All these have been demonstrated by applying them to real standards. These are applicable to computer/communications protocols, distributed systems, and software systems.
Biografía del autor
Worked for Cairo U.-Egypt, U. of Ottawa-Canada, BNR-Canada, Mitel/BT-Canada & was awarded “President Award”. He is currently Assistant Minister & Chair of Comp. Sc. Dept. of Ahram Canadian Uni. He has over 170 Int. papers or contributions to Standards. He was selected for 11th Edition, 2010 of the Marquis’ 'Who’s Who' in Sc. & Eng. Ref. Book, USA.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialLAP LAMBERT Academic Publishing
- Año de publicación2012
- ISBN 10 3659118354
- ISBN 13 9783659118357
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas172
EUR 137,72
EUR 29,58 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 68,00
EUR 23,00 gastos de envío desde Alemania a Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Formal Methods for Computer/Communications Protocols...
Imagen del vendedor
Formal Methods for Computer/Communications Protocols and Software
Publicado por
LAP LAMBERT Academic Publishing Mai 2012, 2012
ISBN 10: 3659118354
ISBN 13: 9783659118357
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory for semantic equivalence that is congrunt and develops a formal method to prove the equivalence. It then develops formal methods for automated derivation of testing sequences. These cover both control flow and data flow. These methods are proven to have the widest applicability and coverage in terms of discovering errors if there are. Then, we develop formal methods to transform formal specifications given by ISO Formal Description Techniques (FDTs). This has applications in building common semantic model for the various FDTs as well as in automated derivation of test sequences, and in automated derivation of conforming implementations. All these have been demonstrated by applying them to real standards. These are applicable to computer/communications protocols, distributed systems, and software systems. 172 pp. Englisch. Nº de ref. del artículo: 9783659118357
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Formal Methods for Computer/Communications Protocols and Software : Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations
Publicado por
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3659118354
ISBN 13: 9783659118357
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory for semantic equivalence that is congrunt and develops a formal method to prove the equivalence. It then develops formal methods for automated derivation of testing sequences. These cover both control flow and data flow. These methods are proven to have the widest applicability and coverage in terms of discovering errors if there are. Then, we develop formal methods to transform formal specifications given by ISO Formal Description Techniques (FDTs). This has applications in building common semantic model for the various FDTs as well as in automated derivation of test sequences, and in automated derivation of conforming implementations. All these have been demonstrated by applying them to real standards. These are applicable to computer/communications protocols, distributed systems, and software systems. Nº de ref. del artículo: 9783659118357
Gastos de envío:
EUR 29,36
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods for Computer/Communications Protocols and Software
Publicado por
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3659118354
ISBN 13: 9783659118357
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5132637
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods for Computer/Communications Protocols and Software: Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations
Publicado por
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3659118354
ISBN 13: 9783659118357
Antiguo o usado
Paperback
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA79636591183546
Gastos de envío:
EUR 29,58
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles