Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Check of Architectural Models Consistency Using SPIN.

P. Inverardi, H. Muccini, and P. Pelliccione. ASE, page 346-349. IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michaela Karin Ingrid Henry

Madeleine Mary Henry

James Henry

David P Henry

Marie-Louise Henry

Other publications of authors with the same name

1st international workshop on the engineering of mobile-enabled systems (MOBS 2013).G. Lewis, J. Gray, H. Muccini, N. Nagappan, D. Rosenblum, and E. Shihab. ICSE, page 1533-1534. IEEE Computer Society, (2013)An Introduction to Software Engineering and Fault ToleranceP. Pelliccione, H. Muccini, N. Guelfi, and A. Romanovsky. CoRR, (2010)Engineering Fault Tolerant SystemsN. Guelfi, H. Muccini, P. Pelliccione, and A. Romanovsky. International Journal of Computer Systems Science and Engineering, (2008)From Requirements to Java code: an Architecture-centric Approach for producing quality systemsA. Bucchiarone, D. Ruscio, H. Muccini, and P. Pelliccione. chapter Model-Driven Software Development: Integrating Quality Assurance, Information Science Reference, (2008)TracIMo: a traceability introduction methodology and its evaluation in an Agile development team.S. Maro, J. Steghöfer, P. Bozzelli, and H. Muccini. Requir. Eng., 27 (1): 53-81 (2022)Model-based generation of test scripts across product variants: An experience report from the railway industry.A. Bucaioni, F. Silvestro, I. Singh, M. Saadatmand, and H. Muccini. J. Softw. Evol. Process., (2022)A model-driven approach to automate the propagation of changes among Architecture Description Languages.R. Eramo, I. Malavolta, H. Muccini, P. Pelliccione, and A. Pierantonio. Softw. Syst. Model., 11 (1): 29-53 (2012)FEAST: a framework for evaluating implementation architectures of self-adaptive IoT systems.F. Menna, H. Muccini, and K. Vaidhyanathan. SAC, page 1440-1447. ACM, (2022)A User-driven Adaptation Approach for Microservice-based IoT Applications.M. Sanctis, H. Muccini, and K. Vaidhyanathan. IOT, page 48-56. ACM, (2021)Visitors flow management at Uffizi Gallery in Florence, Italy.A. Attanasio, M. Maravalle, H. Muccini, F. Rossi, G. Scatena, and F. Tarquini. J. Inf. Technol. Tour., 24 (3): 409-434 (2022)

BibSonomy

Disambiguation of "Muccini, Henry"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Check of Architectural Models Consistency Using SPIN.

Please choose a person to relate this publication to

Michaela Karin Ingrid Henry

Madeleine Mary Henry

James Henry

David P Henry

Marie-Louise Henry

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Muccini, Henry"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Automated Check of Architectural Models Consistency Using SPIN.

Please choose a person to relate this publication to

Michaela Karin Ingrid Henry

Madeleine Mary Henry

James Henry

David P Henry

Marie-Louise Henry

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Check of Architectural Models Consistency Using SPIN.