Abstract: During the 1970ies and ‘80ies, the first computer communication networks were designed and implemented in the research and commercial sectors. Many of the protocols developed during that time are still in use today. This paper starts by giving an overview of these developments. Then it concentrates on the development of protocol engineering, that is, the methods for the specification of communication protocols and services, the verification of protocols and their implementation and testing. After personal views of the developments in the 1970ies, the basic concepts developed at that time are explained. The standardization of Formal Description Techniques in the 1980ies is discussed in the following section, as well as the standard...
The role of automatic formal protocol verifica- tion in hardware design is considered. Principles ar...
Includes bibliographical references (pages 121-123)Serial data link communications are a growing par...
In order to assure successful communication between computer systems from different manufacturers, s...
A reliable and effective computer network can only be achieved by adopting efficient and error-free ...
A vast variety of design principles and formal descrip tion techniques (FDT’s) have been advocated t...
In this paper domain concepts for communication protocols are introduced. These concepts were found ...
The past decade has witnessed a surge in research efforts aimed at developing tools to aid the desig...
This paper presents an overview of commonly used protocol development tools falling under two catego...
Communication between computers on a network is coordinated by sets of rules known as communication ...
This paper describes a protocol development environment aimed at simplifying the development and tes...
In this thesis we present real design criteria and design building blocks in a highly procedural way...
This paper deals with testing techniques for communication protocols. Several protocol testing suppo...
The purpose of this paper is to consider the most complicated problem related to computer network de...
Diversos autores han propuesto técnicas para la especificación de protocolos de comunicación. En est...
Abstract: As soon as major protocol flaws were discovered empirically -a good luck that is not older...
The role of automatic formal protocol verifica- tion in hardware design is considered. Principles ar...
Includes bibliographical references (pages 121-123)Serial data link communications are a growing par...
In order to assure successful communication between computer systems from different manufacturers, s...
A reliable and effective computer network can only be achieved by adopting efficient and error-free ...
A vast variety of design principles and formal descrip tion techniques (FDT’s) have been advocated t...
In this paper domain concepts for communication protocols are introduced. These concepts were found ...
The past decade has witnessed a surge in research efforts aimed at developing tools to aid the desig...
This paper presents an overview of commonly used protocol development tools falling under two catego...
Communication between computers on a network is coordinated by sets of rules known as communication ...
This paper describes a protocol development environment aimed at simplifying the development and tes...
In this thesis we present real design criteria and design building blocks in a highly procedural way...
This paper deals with testing techniques for communication protocols. Several protocol testing suppo...
The purpose of this paper is to consider the most complicated problem related to computer network de...
Diversos autores han propuesto técnicas para la especificación de protocolos de comunicación. En est...
Abstract: As soon as major protocol flaws were discovered empirically -a good luck that is not older...
The role of automatic formal protocol verifica- tion in hardware design is considered. Principles ar...
Includes bibliographical references (pages 121-123)Serial data link communications are a growing par...
In order to assure successful communication between computer systems from different manufacturers, s...