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
EnglishThis paper presents the result of our experience with the application of runtime verification, testing and static analysis techniques to several industrial projects. We discuss the eight most relevant challenges that we experienced, and the strategies that we elaborated to face them.
Pastore, F., & Mariani, L. (2016). Dynamic analysis of regression problems in industrial systems: Challenges and solutions. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (pp.388-393). Springer Verlag [10.1007/978-3-319-47169-3_30].
| Citazione: | Pastore, F., & Mariani, L. (2016). Dynamic analysis of regression problems in industrial systems: Challenges and solutions. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (pp.388-393). Springer Verlag [10.1007/978-3-319-47169-3_30]. | |
| Tipo: | paper | |
| Carattere della pubblicazione: | Scientifica | |
| Presenza di un coautore afferente ad Istituzioni straniere: | No | |
| Titolo: | Dynamic analysis of regression problems in industrial systems: Challenges and solutions | |
| Autori: | Pastore, F; Mariani, L | |
| Autori: | MARIANI, LEONARDO (Secondo) | |
| Data di pubblicazione: | 2016 | |
| Lingua: | English | |
| Nome del convegno: | International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) Oct 10-14 | |
| ISBN: | 9783319471686 | |
| Serie: | LECTURE NOTES IN COMPUTER SCIENCE | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-319-47169-3_30 | |
| 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 © 2022