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.

Crescenzi, P., Gambosi, G., Innocenti, G. (2005). NetPrlDE an integrated environment for developing and visualizing computer network protocols. In Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (pp.306-310) [10.1145/1067445.1067529].

NetPrlDE an integrated environment for developing and visualizing computer network protocols

GAMBOSI, GIORGIO;
2005-01-01

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. Copyright 2005 ACM.
ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
Monte de Caparica
27 June 2005 through 29 June 2005
ACM Special Interest Group on Computer Science Education
Rilevanza internazionale
2005
Settore INF/01 - INFORMATICA
English
Computer network; Java; Protocol; Software visualization
Intervento a convegno
Crescenzi, P., Gambosi, G., Innocenti, G. (2005). NetPrlDE an integrated environment for developing and visualizing computer network protocols. In Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (pp.306-310) [10.1145/1067445.1067529].
Crescenzi, P; Gambosi, G; Innocenti, G
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/38414
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact