An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Design and validation of computer protocols
Design and validation of computer protocols
Maintenance Support for Object-Oriented Programs
IEEE Transactions on Software Engineering - Special issue on software maintenance
Generating object-oriented telecommunications software using ASN.1 descriptions
ULPAA '92 Proceedings of the IFIP TC6/WG6.5 international conference on Upper layer protocols, architectures and applications
Object-Oriented Implementation of Telecommunication Software Using the OTSO Environment
Proceedings of the IFIP TC6 International Conference on Information Network and Data Communication, IV
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Hi-index | 0.24 |
An analysis of a number of protocol software tools that are widely used in the development of communication protocols in the Finnish telecommunications industry is presented. To analyse the integrated use of these tools, a non-trivial application layer protocol with ACSE, ROSE and a simple presentation layer has been designed and implemented with the help of these software tools. Particular attention has been paid to compose a complete protocol implementation from the fragments produced with separate tools. Our observations clearly indicate that this integration is a major problem with the current practices.