IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishJava PathFinder (JPF) is an explicit state model checker developed by the Automated Software Engineering Group of NASA of the AMES Research Center (California). Eclipse is probably the most important and used Java Integrated Developing Environment (IDE) and not only; it is a framework/environment that can be easily extended with new functionalities by exploiting its plug-in mechanism. Through a JPF plug-in for Eclipse it is possible to integrate powerful model checking and testing capabilities into the development environment. This paper presents the re-design of the standalone version of JPF towards an Eclipse plug-in exploiting and outlining in this way the advantages of an open source development. © 2006 IEEE.
| Citazione: | Rigo, I., Arcelli Fontana, F., Raibulet, C., & Ubezio, L. (2006). An Eclipse Plug-in for the Java PathFinder Runtime Verification System. In Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop (pp.142-152). |
| Tipo: | paper |
| Carattere della pubblicazione: | Scientifica |
| Titolo: | An Eclipse Plug-in for the Java PathFinder Runtime Verification System |
| Autori: | Rigo, I; Arcelli Fontana, F; Raibulet, C; Ubezio, L |
| Autori: | |
| Data di pubblicazione: | 2006 |
| Lingua: | English |
| Nome del convegno: | IEEE/NASA Software Engineering Workshop |
| ISBN: | 1550-6215 |
| Appare nelle tipologie: | 02 - Intervento a convegno |
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.
Copyright © 2018