Cargando…
Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
North-Holland,
1992.
|
| Colección: | IFIP transactions. Communication systems ;
C-8. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn654424019 | ||
| 003 | OCoLC | ||
| 005 | 20231117044434.0 | ||
| 006 | m o d | ||
| 007 | cr un||||a|a|| | ||
| 008 | 100810s1992 ne a ob 101 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d UIU |d OCLCF |d OCLCO |d N$T |d YDXCP |d EBLCP |d OCLCO |d OCL |d OCLCO |d DEBSZ |d OCLCQ |d OCLCO |d IDB |d MERUC |d OCLCQ |d UKAHL |d OCLCQ |d LUN |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 896795132 | ||
| 020 | |a 9781483293349 |q (electronic bk.) | ||
| 020 | |a 1483293343 |q (electronic bk.) | ||
| 020 | |z 0444898743 | ||
| 020 | |z 9780444898746 | ||
| 035 | |a (OCoLC)654424019 |z (OCoLC)896795132 | ||
| 050 | 4 | |a TK5105.5 |b .I34264 1992 | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004.62 |2 20 |
| 084 | |a 54.32 |2 bcl | ||
| 084 | |a SS 1992 |2 rvk | ||
| 111 | 2 | |a IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification |d 12th |n (1992nd : |c Lake Buena Vista, Florida) | |
| 245 | 1 | 0 | |a Protocol specification, testing, and verification, XII : |b proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 / |c edited by R.J. Linn, Jr., M.�U. Uyar. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland, |c 1992. | ||
| 300 | |a 1 online resource (xi, 415 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a IFIP transactions. C, Communication systems, |x 0926-549X ; |v C-8 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Protocol Specification, Testing and Verification, XII; Copyright Page; Organizing Committee; Referees; Table of Contents; PART 1: KEYNOTE SPEECH; Chapter 1. Formal Methods Applied to Software Production; ABSTRACT; RESEARCH ON PRODUCTION PROCESSES; THE NEWCORE PROJECT; SOFTWARE IN THE LARGE; SOME HOPES FOR THE FUTURE; Session 1.A: TESTING THEORY; Chapter 2. Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols; Abstract; 1 Introduction; 2 Objective of our Testing Method; 3 The Model; 4 Generation of test paths and a test sequence. | |
| 505 | 8 | |a 5 Fault Coverage6 Comparison with related work; 7 Conclusion; References; Chapter 3. A test suite generation method for extended finitestate machines using axiomatic semantics approach; Abstract; 1 Introduction; 2 Extended Finite State Machines; 3 Axiomatic Semantics Approach; 4 Test Cases Generation; 5 Composition of a Test Suite from Test Cases; 6 Conclusion; References; Session I.B: TESTABILITY; Chapter 4. Testing Probabilistic and Nondeterministic Processes; Abstract; 1 Introduction; 2 CCS with Probability; 3 Testing; 4 A Simple Protocol; 5 Conclusion and Future Work; Acknowlegdements. | |
| 505 | 8 | |a Chapter 7. Formal Model of a High Speed Transport Protocol1. Introduction; 2. System of Communicating Machines (SCM); 3. Problems with Existing Transport Protocols; 4. Specification of a High-Speed TVansport Protocol; 5. Analysis; 6. Conclusion; References; Session I.D: SPECIFICATION; Chapter 8. On Modelling and Reasoning About Hybrid Systems; Abstract; 1 Introduction; 2 A Model of Real-Time Systems; 3 Simulation Algorithm; 4 Reasoning in TRACE(H); 5 Discussion; Acknowledgements; References; Chapter 9. A Queue Model Relating Synchronous and Asynchronous Communication; 1 Introduction. | |
| 505 | 8 | |a 2 Queue Contexts3 Queue Equivalence; 4 Traces of Queue Contexts; 5 Output Deadlocks of Queue Contexts; 6 Queue Implementation Relations; 7 Concluding Remarks; References; PART 2: INVITED PAPER; Chapter 10. Protocol development success stories: Part I; 1. INTRODUCTION; 2. SPECIFICATION; 3. FINDING ERRORS IN PROTOCOL SPECIFICATIONS: VALIDATION; 4. FINDING ERRORS IN PROTOCOL SPECIFICATIONS: VERIFICATION; 5. AUTOMATIC PROTOCOL IMPLEMENTATION; 6. TESTING IMPLEMENTATIONS; 7. A PREDICTION; 8. CONCLUSIONS; 9. ACKNOWLEDGEMENT; 10. REFERENCES; Session II. A: IMPLEMENTATION. | |
| 520 | |a 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. C. | ||
| 650 | 0 | |a Computer network protocols |v Congresses. | |
| 650 | 6 | |a Protocoles de r�eseaux d'ordinateurs |0 (CaQQLa)201-0126657 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Computer network protocols |2 fast |0 (OCoLC)fst00872279 | |
| 650 | 1 | 7 | |a Computernetwerken. |2 gtt |
| 653 | 0 | |a Computers |a Networks |a Protocols | |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a proceedings (reports) |2 aat |0 (CStmoGRI)aatgf300027316 | |
| 655 | 7 | |a Conference papers and proceedings |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 700 | 1 | |a Linn, R. J. | |
| 700 | 1 | |a Uyar, M. �U. | |
| 776 | 0 | 8 | |i Print version: |a IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (12th : 1992 : Lake Buena Vista, Florida). |t Protocol specification, testing, and verification, XII. |d Amsterdam ; New York : North-Holland, 1992 |w (OCoLC)27718491 |
| 830 | 0 | |a IFIP transactions. |n C, |p Communication systems ; |v C-8. |x 0926-549X | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444898746 |z Texto completo |