italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

«      1   |   2   |   3   

2003

A. Bertolino, P. Inverardi, and H. Muccini. Formal Methods in Testing Software Architectures,

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

H. Muccini. Towards Testing Product Line Architectures, ETAPS2003 workshop "Test and Analysis of Component Based Systems" (Tacos),

2002

P. Inverardi, F. Mancinelli, H. Muccini and P. Pelliccione. An Experience in Architectural Extensions: Active Objects in J2EE, Proc. Int. Workshop on Scientific Engineering of Distributed Java Applications (FIDJI'2002), Lecture Notes in Computer Science (LNCS) 2604, pagg. 87 ff

H. Muccini. "An Approach for Detecting Implied Scenarios", Proc. ICSE 2002 Workshop on "Scenarios and State Machines: Models, Algorithms, and Tools

H. Muccini. Software Architecture for Testing, Coordination and Views Model Checking,

P. Inverardi, F. Mancinelli, H. Muccini, P. Pelliccione. An Experience in Architectural Extension: Active Object in J2EE, International Workshop on scientific engineering of Distributed Java applications (FIDJI'2002), Lecture Notes in Computer Science (LNCS), pagg. 87-98

2001

P. Inverardi, H. Muccini and P. Pelliccione. Automated Check of Architectural Models Consistency using SPIN, IEEE Proc. Automated Software Engineering conference, ASE2001

A. Bertolino, P. Inverardi and H. Muccini. An Explorative Journey from Architectural Tests Definition downto Code Tests Execution, IEEE Proc. Int. Conf. on Software Engineering (ICSE2001),

P. Inverardi, H. Muccini and P. Pelliccione. Checking consistency between architectural models using SPIN, Proc. ICSE 2001 Workshop ``From Software Requirements to Architectures" (STRAW'01)

P. Inverardi, H. Muccini, P. Pelliccione. Checking consistency between architectural models using Spin, The First Int. Workshop from Software Requirements to Architectures (STRAW'01)

P. Inverardi, H. Muccini, P. Pelliccione. Automated Check of Architectural Models Consistency using Spin, Automated Software Engineering Conference Proceedings (ASE 2001)

2000

P. Inverardi and H. Muccini. Coordination models and Software Architectures in a Unified Software Development Process, Proc. Int. Conf. Coordination 2000, Lecture Notes in Computer Science, (LNCS) 1906.

A. Bertolino, F. Corradini, P. Inverardi and H. Muccini. Deriving Test Plans from Architectural Descriptions, ACM Proc. Int. Conf. on Software Engineering (ICSE2000),

P. Inverardi and H. Muccini. The Teleservices and Remote Medical Care System (TRMCS), IEEE Proc. of the IWSSD-10 workshop on Software Specification and Design, San Diego, California

P. Inverardi and H. Muccini. A Coordination Process Based on UML and a Software Architectural Description, Proc. of the 2000 PDPTA Int. Conference, session: Coordination Models, Languages, Systems and Applications

1999

A. Bertolino, P. Inverardi and H. Muccini.. Software Architectures and Integration Testing, Proc. second Ericsson Conference on Quantitative Management

1997

A. Bertolino, P. Inverardi, H. Muccini and A. Rosetti. An Approach to Integration Testing Based on Architectural Descriptions, IEEE Proc. Intern. Conference on Engineering of Complex Computer Systems (ICECCS-97),

A. Bertolino, A. Polini, P. Inverardi and H. Muccini. Towards Anti-Model-based Testing, Fast Abstract in The International Conference on Dependable Systems and Networks, DSN 2004. Florence, 2004

 
 
 
 

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 ›