NetPrIDE an integrated environment for developing and visualizing computer network protocols
Pierluigi Crescenzi, Giorgio Gambosi, Gaia Innocenti · 2005
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.