NetPrlDE an integrated environment for developing and visualizing computer network protocols

In this paper we present NetPrIDE, an integrated development environment for designing, implementing and visualizing computer network protocols, which has primarily been used for teaching computer networks. NetPrIDE makes use of an abstract and formal notation to clearly and firmly specify a protocol: once the protocol has been specified and the network topology has been fixed, the implementation and the visualization of the protocol is performed in a completely automated way. Copyright 2005 ACM