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).
Autori: | |
Autori: | Crescenzi, P; Gambosi, G; Innocenti, G |
Titolo: | NetPrlDE an integrated environment for developing and visualizing computer network protocols |
Nome del convegno: | ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education |
Luogo del convegno: | Monte de Caparica |
Anno del convegno: | 27 June 2005 through 29 June 2005 |
Enti collegati al convegno: | ACM Special Interest Group on Computer Science Education |
Rilevanza: | Rilevanza internazionale |
Data di pubblicazione: | 2005 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1145/1067445.1067529 |
Settore Scientifico Disciplinare: | Settore INF/01 - Informatica |
Lingua: | English |
Tipologia: | Intervento a convegno |
Citazione: | 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). |
Appare nelle tipologie: | 02 - Intervento a convegno |