Modellierung von Protokollen (via UML)

• DAIDALOS (Designing Advanced network Interfaces for the Delivery and Administration of Location independent, Optimised personal Services)
• UML (Unified Modeling Language)
• SOFL (Specification Language + Method + Software Process Model)

(Software) Testing

• Software Testing
• Design and Validation of Computer Protocols

Message Sequence Chart (MSC)

• overview of tools for working with MSCs (parsers, tools for verification,...)
• LaTeX Packet
• MSC - Message Sequence Chart generator
• Documents on Message Sequence Charts (Michel Reniers), (old)
• Research on Message Sequence Charts and Message Flow Graphs (old)
• SDL and MSC Activities(University of Erlangen, Germany)

Testing and Test Control Notation (TTCN-3)
(formerly known as Tree and Tabular Combined Notation (TTCN-1, TTCN-2))

• TTCN Homepage (by ETSI)
• GNU Emacs modes for TTCN-3/protocol testing languages (Debian packet)

Abstract Syntax Notation 1 (ASN.1)

• ASN.1 Consortium
• Griffin Consulting (a lot of links and resources to ASN.1)
• What ASN.1 can offer to XML (ASN.1 Markup Language (AML))

Extensible Markup Language (XML)

• XML Homepage (by W3C)
• The XML Cover Pages

Another Tool for Language Recognition (ANTLR)

• ANTLR Homepage
• Ric Klarens ANTLR pages (C++ oriented)
• Ian Kaplan's ANTLR pages (C++ oriented)
• Tutorials/Hints
  • ANTLR Tutorial (from Ashley Mills at The University Of Birmingham)
  • An ANTLR Tutorial (Or what I did one day when I was bored and converted "A PCCTS Tutorial" to ANTLR 2.0... by Scott Stanchfield)
  • ANTLR Adder Tutorial (Extent Tracking, Tokens with Values, and Error Reporting)
  • How to use Antlr with C++

Verschiedenes

• ISO/OSI reference model