MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Henry Muccini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Detecting implied scenarios analyzing non-local branching choices
by Henry Muccini — 2003 — In proc. of Int. Conference on Fundamental Approaches to Software Engineering
…Detecting Implied Scenarios analyzing non-local Branching Choices Henry Muccini Universitá degli…
Cited by 7 (0 self) – Add To MetaCart

International Journal of Cooperative Information Systems ❢c World Scientific Publishing Company A SOFTWARE ENGINEERING APPROACH FOR COORDINATION POLICIES ELICITATION
by Henry Muccini, Fabio Mancinelli
… SOFTWARE ENGINEERING APPROACH FOR COORDINATION POLICIES ELICITATION HENRY MUCCINI ∗ Dipartimento di…
Add To MetaCart

Formal Methods in Testing Software Architectures
by Antonia Bertolino, Paola Inverardi, Henry Muccini — 2003 — In SFM
… , and Henry Muccini 2 1 Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” (ISTI-CNR), Area della…
Cited by 8 (1 self) – Add To MetaCart

Checking Consistency Between Architectural Models Using SPIN
by Paola Inverardi, Henry Muccini, Patrizio Pelliccione — 2001 — the First ICSE’01 Int. Workshop From Software Requirements to Architectures (STRAW’01
…Checking consistency between architectural models using SPIN Paola Inverardi & Henry Muccini…
Cited by 5 (5 self) – Add To MetaCart

Systematic Testing of Software Architectures
by Henry Muccini, Marcio Dias, D. J. Richardson — 2004 — in the C2 style. In FASE
…Systematic Testing of Software Architectures in the C2 style Henry Muccini 1 , Marcio Dias 2 and D…
Cited by 9 (7 self) – Add To MetaCart

Towards anti-model-based testing
by Antonia Bertolino, Andrea Polini, Paola Inverardi, Henry Muccini — 2004 — In Proc. DSN 2004 (Ext. abstract
…. In such cases, model-based testing is not applicable, or would Paola Inverardi and Henry Muccini Dipartimento di…
Cited by 1 (1 self) – Add To MetaCart

Checking consistency between architectural models using SPIN
by Paola Inverardi Henry, Henry Muccini, Patrizio Pelliccione — 2001 — the First ICSE’01 Int. Workshop From Software Requirements to Architectures (STRAW’01
…Checking consistency between architectural models using SPIN Paola Inverardi & Henry Muccini…
Add To MetaCart

Software Architecture-based Regression Testing
by Henry Muccini, Marcio S. Dias, Debra J. Richardson — JSS, Special Edition on Architecting Dependable Systems
…Towards Software Architecture-based Regression Testing ABSTRACT Henry Muccini 1 Marcio S. Dias 2…
Cited by 4 (4 self) – Add To MetaCart

Towards weaving software architecture models
by Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio — 2006 — In Proocedings of the MBD-MOMPES 2006 Workshop
…Towards Weaving Software Architecture Models Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio…
Cited by 1 (0 self) – Add To MetaCart

Data Modeling Approach to Web Application Synthesis.Int
by Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio — Journal of Web Engineering and
…A data-modelling approach to web application synthesis Davide Di Ruscio, Henry Muccini…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB