NetPrIDE an integrated environment for developing and visualizing computer network protocols

Authors:
Pilu Crescenzi;Giorgio Gambosi;Gaia Innocenti
Affiliations:
Universita di Firenze, Firenze, Italy;Universita di Roma "Tor Vergata", Roma, Italy;Universita di Firenze, Firenze, Italy
Venue:
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Year:
2005

Citing 11
Cited 1

A network specification language and execution environment for undergraduate teaching

SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
The X-Kernel: An Architecture for Implementing Network Protocols

IEEE Transactions on Software Engineering
Graphical development tools for network-based concurrent supercomputing

Proceedings of the 1991 ACM/IEEE conference on Supercomputing
A dynamic network architecture

ACM Transactions on Computer Systems (TOCS)
Performance measurement, visualization and modeling of parallel and distributed programs using the AIMS toolkit

Software—Practice & Experience
Computer networks (3rd ed.)

Computer networks (3rd ed.)
Elements of network protocol design

Elements of network protocol design
Computer networks: a systems approach

Computer networks: a systems approach
Computer Networking: A Top-Down Approach Featuring the Internet

Computer Networking: A Top-Down Approach Featuring the Internet
The Java Programming Language

The Java Programming Language
Network Visualization with Nam, the VINT Network Animator

Computer

The Clack graphical router: visualizing network software

SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization

Quantified Score

Hi-index	0.02

Visualization

Abstract

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.