Подписаться
Mario Sangiorgio
Mario Sangiorgio
Неизвестная организация
Подтвержден адрес электронной почты в домене elet.polimi.it - Главная страница
Название
Процитировано
Процитировано
Год
Runtime monitoring of component changes with Spy@ Runtime
C Ghezzi, A Mocci, M Sangiorgio
2012 34th International Conference on Software Engineering (ICSE), 1403-1406, 2012
292012
Runtime monitoring of functional component changes with behavior models
C Ghezzi, A Mocci, M Sangiorgio
International Conference on Model Driven Engineering Languages and Systems …, 2011
182011
Detecting component changes at run time with behavior models
A Mocci, M Sangiorgio
Computing 95, 191-221, 2013
62013
Synthesis of Infinite-State Abstractions and Their Use for Software Validation
C Ghezzi, A Mocci, M Sangiorgio
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
2014
Modeling, analyzing, and monitoring interacting software components
M Sangiorgio
Politecnico di Milano, 2014
2014
Automatic metaresearch on scientific communities
M Sangiorgio
Politecnico di Milano, 2009
2009
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–6