Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV
Author :
Publisher : Springer
Total Pages : 398
Release :
ISBN-10 : 9780387348674
ISBN-13 : 0387348670
Rating : 4/5 (74 Downloads)

Synopsis Protocol Specification, Testing and Verification XIV by : S.T. Vuong

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks". This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main objective of this PSTV symposium is to provide a forum for researchers and practitioners in industry and academia interested in advances in using formal methods and methodologies to specify, develop, test and verify communication protocols and distributed systems. This year's PSTV symposium enjoys a nice mixture of formal methods and practical issues in network protocols through the invited addresses of three outstanding speakers, Ed Brinksma (University of Twente), Raj Jain (Ohio State University) and David Tennenhouse (MIT) as well as 5 tutorials, in addition to 9 techni cal sessions and two practical panel sessions. The 5 tutorials are offered on the first day in two parallel tracks for intensive exposure on hot topics of current interest. This year, out of 51 submissions the Program Committee selected 18 regular papers (with an allotment of 16 pages in the Proceedings) and 9 mini-papers (of 8 pages).

Protocol Specification, Testing and Verification XV

Protocol Specification, Testing and Verification XV
Author :
Publisher : Springer
Total Pages : 452
Release :
ISBN-10 : 9780387348926
ISBN-13 : 0387348921
Rating : 4/5 (26 Downloads)

Synopsis Protocol Specification, Testing and Verification XV by : Piotr Dembinski

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.

Formal Description Techniques and Protocol Specification, Testing and Verification

Formal Description Techniques and Protocol Specification, Testing and Verification
Author :
Publisher : Springer
Total Pages : 462
Release :
ISBN-10 : 9780387353944
ISBN-13 : 0387353941
Rating : 4/5 (44 Downloads)

Synopsis Formal Description Techniques and Protocol Specification, Testing and Verification by : Stan Budkowski

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.

Formal Description Techniques and Protocol Specification, Testing and Verification

Formal Description Techniques and Protocol Specification, Testing and Verification
Author :
Publisher : Springer
Total Pages : 544
Release :
ISBN-10 : 9780387352718
ISBN-13 : 0387352716
Rating : 4/5 (18 Downloads)

Synopsis Formal Description Techniques and Protocol Specification, Testing and Verification by : Atsushi Togashi

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

SDL '97: Time for Testing

SDL '97: Time for Testing
Author :
Publisher : Elsevier
Total Pages : 565
Release :
ISBN-10 : 9780080541532
ISBN-13 : 0080541534
Rating : 4/5 (32 Downloads)

Synopsis SDL '97: Time for Testing by : Ana Cavalli

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed. SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques. MSC has strong structuring concepts to specify message sequences for large systems and can be used to develop scenarios, which is extremely useful for test and design environments. The SDL Forum today really is the SDL and MSC Forum.

Formal Description Techniques IX

Formal Description Techniques IX
Author :
Publisher : Springer
Total Pages : 513
Release :
ISBN-10 : 9780387350790
ISBN-13 : 0387350799
Rating : 4/5 (90 Downloads)

Synopsis Formal Description Techniques IX by : R. Gotzhein

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

A Journey from Process Algebra via Timed Automata to Model Learning

A Journey from Process Algebra via Timed Automata to Model Learning
Author :
Publisher : Springer Nature
Total Pages : 593
Release :
ISBN-10 : 9783031156298
ISBN-13 : 3031156293
Rating : 4/5 (98 Downloads)

Synopsis A Journey from Process Algebra via Timed Automata to Model Learning by : Nils Jansen

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning. The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.

Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems
Author :
Publisher : Springer
Total Pages : 437
Release :
ISBN-10 : 9780387355627
ISBN-13 : 0387355626
Rating : 4/5 (27 Downloads)

Synopsis Formal Methods for Open Object-Based Distributed Systems by : Paolo Ciancarini

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.