italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

«      1   |   2   |   3      »      

2005

P. Inverardi, H. Muccini, P. Pelliccione. CHARMY: An Extensible Tool for Architectural Analysis, ESEC-FSE'05, The fifth joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering. Research Tool Demos. Lisbon, Portugal, September 5-9, 2005.

2004

H. Muccini, M. Dias, and D. J. Richardson. Software Architecture-based Conformance and Regression Testing, Dipartimenti di Informatica, Università di L'Aquila, Tech. Report 2004/002

H. Muccini, P. Pelliccione, A. Bucchiarone and P. Pierini. Software Architecture-driven System Testing through Model-Checking, Dipartimento di Informatica, Università di L'Aquila, Tech. Report 2004/035

Mauro Caporuscio, Henry Muccini and Giuseppe Pezzi. Implementing Product Line Architectures through a Plugin Framework, Dipartimento di Informatica, Università di L'Aquila, Tech. Report 2004/019

H. Muccini, A. Bertolino and P. Inverardi. Using Software Architecture for Code Testing, IEEE Transactions on Software Engineering (30):3

H. Muccini and F. Mancinelli. A Software Engineering Approach for Coordination Policies Elicitation, Int. Journal of Cooperative Information Systems (IJCIS), Special Issue on Coordination and Collaboration Technologies (13):1, pagg. 9-36

A. Bertolino, E. Marchetti and H. Muccini. Introducing a Reasonably Complete and Coherent Approach for Model-based Testing, ETAPS 2003 workshop on "Test and Analysis of Component Based Systems" (Tacos), Barcelona, Spain

H. Muccini, M. Dias and D.J. Richardson.. Systematic Testing of Software Architectures in the C2 style, Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2004), ETAPS2004, Barcelona, Spain.

H. Muccini and L. Orsini. WAPLE: A Product Line Engineering Approach for Designing Web Applications, Dipartimenti di Informatica, Università di L'Aquila, Tech. Report 2004/013

H. Muccini and A. Bucchiarone. Formal Behavioral Specification of a Product Line Architecture, Dipartimenti di Informatica, Università di L'Aquila, Tech. Report 2004/014

Henry Muccini, Patrizio Pelliccione and Michele Stoduto. Charmy: a Plugin Framework for Architectural Analysis, Dipartimenti di Informatica, Università di L'Aquila, Tech. Report 2004/016

H. Muccini and A. Bucchiarone. Test+: Testing Product Line Architectures, Dipartimento di Informatica, Università di L'Aquila, Tech. Report 2004/021

Patricia Lago, H. Muccini and Hans van Vliet. Traceability Issues in Documenting Software Architecture in Product Families, Dipartimento di Informatica, Università di L'Aquila, Tech. Report 2004/034

D. DiRuscio, H. Muccini, A. Pierantonio. A Data Modeling Approach to Web Application Synthesis, International Journal of Web Engineering and Technology (1):3, pagg. 320-337

V. Cortellessa, A. Di Marco, P. Inverardi, H. Muccini, P. Pelliccione. An Experience Report on Using UML for SA-based Modeling and Analysis, Int. Workshop on Software Architecture Description & UML. Hosted at the Seventh International Conference on UML Modeling Languages and Applications. October 11-15, 2004, Lisbon, Portugal

M. Caporuscio, H. Muccini, P. Inverardi, P. Pelliccione. Charmy: A Framework for Designing and Validating Architectural Specifications, ERCIM NEWS (European Research Consortium for Informatics and Mathematics). Special: Automated Software Engineering. Number 58, July 2004

A. Bucchiarone, H. Muccini, P. Pelliccione, P. Pierini. Model-Checking plus Testing: from Software Architecture Analysis to Code Testing, 1st International Workshop on Integration of Testing Methodologies (ITM 2004). October 1 -- 2 ,2004, Toledo, Spain. LNCS n.3236. pp 351-365.

2003

H. Muccini. Detecting Implied Scenarios analyzing non-local Branching Choices, Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2003),

P. Inverardi and H. Muccini. Software Architectures and Coordination models, The Journal of Supercomputing (Kluwer) (24):

H. Muccini and F. Mancinelli. Eliciting Coordination Policies from Requirements, Proc. Eighteenth ACM Symposium on Applied Computing (ACM SAC 2003),

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›