Author:
Publisher:
ISBN:
Category : Computer network protocols
Languages : en
Pages : 480

Get Book Here

Book Description

Author: Richard L. Tenney
Publisher: Elsevier Science & Technology
ISBN:
Category : Computers
Languages : en
Pages : 528

Get Book Here

Book Description
This book is the sixth in a series of volumes concentrating on formal techniques applicable to distributed systems and protocols. The initial focus on techniques standardized by ISO and CCITT (Estelle, LOTOS, and SDL), widened in previous volumes to, for example, CCS, CSP, ASN.1, Z, Actor, VDM and RAISE, is yet again expanded. A strong theoretical component is balanced by a practical one, with papers included from the industrial as well as the academic communities. Offering a comprehensive presentation of the state of the art in theory, application, tools and industrialization of formal techniques, the publication provides an excellent orientation for the newcomer . By bringing together both researchers and practitioners, it also opens the communication between these groups vital for a continued cross-fertilization of knowledge and ideas for the future.

Author: Stan Budkowski
Publisher: Springer
ISBN: 0387353941
Category : Technology & Engineering
Languages : en
Pages : 462

Get Book Here

Book Description
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.

Author: D. Hogrefe
Publisher: Springer
ISBN: 0387348786
Category : Technology & Engineering
Languages : en
Pages : 512

Get Book Here

Book Description
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Author: R. Gotzhein
Publisher: Springer
ISBN: 0387350799
Category : Technology & Engineering
Languages : en
Pages : 513

Get Book Here

Book Description
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.

Author: Atsushi Togashi
Publisher: Springer
ISBN: 0387352716
Category : Computers
Languages : en
Pages : 544

Get Book Here

Book Description
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.

Author: K.R. Parker
Publisher: Elsevier
ISBN: 1483293335
Category : Computers
Languages : en
Pages : 596

Get Book Here

Book Description
Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formality is mandatory for mathematical verification, a procedure being imposed on safety-critical system development. Standard documents are also becoming increasingly formalised in order to capture notions precisely and unambiguously. This FORTE '91 proceedings volume has focussed on the standardised languages SDL, Estelle and LOTOS while, as with earlier conferences, remaining open to other notations and techniques, thus encouraging the continuous evolution of formal techniques. This useful volume contains 29 submitted papers, three invited papers, four industry reports, and four tool reports organised to correspond with the conference sessions.

Author: Gregor von Bochmann
Publisher: Springer
ISBN: 0387349456
Category : Technology & Engineering
Languages : en
Pages : 450

Get Book Here

Book Description
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Author: Charles Rattray
Publisher: World Scientific
ISBN: 9814501468
Category : Computers
Languages : en
Pages : 444

Get Book Here

Book Description
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text.Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form an intriguing mix of modeling, specification, verification, and implementation of “real” real-time systems. They cover untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis.

Author: Chris Hawkins
Publisher: Springer Science & Business Media
ISBN: 1447113039
Category : Computers
Languages : en
Pages : 289

Get Book Here

Book Description
The Quality Special Interest Group of the British Computer Society presents the edited proceedings of their sixth International Conference on Software Quality Management (SQM'98) held in April 1998 in Amsterdam. The objective of this series of annual conferences is to promote international co-operation among those concerned with software quality and process improvement, by creating a greater understanding of software quality issues and by sharing current research and industrial experience. The papers cover a broad spectrum of practical experience and research. The topic areas include process improvement, maintaining a quality management system, quality metrics, human factors, project management issues, software tools and approaches to systems development. The organisers would like to thank Origin for their sponsorship of the proceedings. The editors are indebted to the members of the International Advisory Committee for their support and for refereeing the abstracts and the final papers, as well as to the authors who have contributed to the success of this conference.