Sfoglia per Autore
Formal Methods in Testing Software Architectures
2003-01-01 Bertolino, A; Inverardi, Paola; Muccini, Henry
A Software Engineering Approach for Coordination Policies Elicitation
2004-01-01 Muccini, Henry; F., Mancinelli
Charmy: A Framework for Designing and Validating Architectural Specifications
2004-01-01 Mauro, Caporuscio; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
A Data Modeling Approach to Web Application Synthesis
2004-01-01 DI RUSCIO, Davide; Muccini, Henry; Pierantonio, Alfonso
Systematic Testing of Software Architectures in the C2 style
2004-01-01 Muccini, Henry; M., Dias; D. J., Richardson
Model-Checking plus Testing: from Software Architecture Analysis to Code Testing
2004-01-01 A., Bucchiarone; Muccini, Henry; Pelliccione, Patrizio; P., Pierini
Using UML for SA-based Modeling and Analysis
2004-01-01 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Using Software Architecture for code testing
2004-01-01 Muccini, Henry; A., Bertolino; Inverardi, Paola
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
2004-01-01 A., Bertolino; E., Marchetti; Muccini, Henry
An Architecture-centric Approach for producing Quality Systems
2005-01-01 Antonia, Bertolino; Antonio, Bucchiarone; Stefania, Gnesi; Muccini, Henry
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
2005-01-01 Muccini, Henry; Marcio S., Dias; Debra J., Richardson
DUALLY: Putting in Synergy UML 2.0 and ADLs
2005-01-01 Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Towards Software Architecture-based Regression Testing
2005-01-01 Muccini, Henry; MARCIO DIAS AND DEBRA J., Richardson
CHARMY: An Extensible Tool for Architectural Analysis
2005-01-01 Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
TeStor: Deriving Test Sequences from Model-based Specifications
2005-01-01 Pelliccione, Patrizio; Muccini, Henry; A., Bucchiarone; AND F., Facchini
Architectural Verification of Black-box Component-Based Systems
2006-01-01 Bertolino, A; Muccini, Henry; A., Polini
2nd Int. Workshop on "The Role of Software Architecture in Testing and Analysis"
2006-01-01 Muccini, Henry; Hierons, R.
Towards weaving software architecture models
2006-01-01 DI RUSCIO, Davide; Muccini, Henry; Pierantonio, Alfonso; Pelliccione, Patrizio
Architecting Fault-tolerant Component-based Systems: from requirements to testing
2006-01-01 Bucchiarone, A; Muccini, Henry; Pelliccione, Patrizio
Software Architecture-based Regression Testing
2006-01-01 Muccini, Henry; M. DIAS AND D. J., Richardson
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal Methods in Testing Software Architectures | 1-gen-2003 | Bertolino, A; Inverardi, Paola; Muccini, Henry | |
| A Software Engineering Approach for Coordination Policies Elicitation | 1-gen-2004 | Muccini, Henry; F., Mancinelli | |
| Charmy: A Framework for Designing and Validating Architectural Specifications | 1-gen-2004 | Mauro, Caporuscio; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio | |
| A Data Modeling Approach to Web Application Synthesis | 1-gen-2004 | DI RUSCIO, Davide; Muccini, Henry; Pierantonio, Alfonso | |
| Systematic Testing of Software Architectures in the C2 style | 1-gen-2004 | Muccini, Henry; M., Dias; D. J., Richardson | |
| Model-Checking plus Testing: from Software Architecture Analysis to Code Testing | 1-gen-2004 | A., Bucchiarone; Muccini, Henry; Pelliccione, Patrizio; P., Pierini | |
| Using UML for SA-based Modeling and Analysis | 1-gen-2004 | Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio | |
| Using Software Architecture for code testing | 1-gen-2004 | Muccini, Henry; A., Bertolino; Inverardi, Paola | |
| Introducing a Reasonably Complete and Coherent Approach for Model-based Testing | 1-gen-2004 | A., Bertolino; E., Marchetti; Muccini, Henry | |
| An Architecture-centric Approach for producing Quality Systems | 1-gen-2005 | Antonia, Bertolino; Antonio, Bucchiarone; Stefania, Gnesi; Muccini, Henry | |
| Reasoning About Software Architecture-Based Regression Testing Through a Case Study | 1-gen-2005 | Muccini, Henry; Marcio S., Dias; Debra J., Richardson | |
| DUALLY: Putting in Synergy UML 2.0 and ADLs | 1-gen-2005 | Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio | |
| Towards Software Architecture-based Regression Testing | 1-gen-2005 | Muccini, Henry; MARCIO DIAS AND DEBRA J., Richardson | |
| CHARMY: An Extensible Tool for Architectural Analysis | 1-gen-2005 | Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio | |
| TeStor: Deriving Test Sequences from Model-based Specifications | 1-gen-2005 | Pelliccione, Patrizio; Muccini, Henry; A., Bucchiarone; AND F., Facchini | |
| Architectural Verification of Black-box Component-Based Systems | 1-gen-2006 | Bertolino, A; Muccini, Henry; A., Polini | |
| 2nd Int. Workshop on "The Role of Software Architecture in Testing and Analysis" | 1-gen-2006 | Muccini, Henry; Hierons, R. | |
| Towards weaving software architecture models | 1-gen-2006 | DI RUSCIO, Davide; Muccini, Henry; Pierantonio, Alfonso; Pelliccione, Patrizio | |
| Architecting Fault-tolerant Component-based Systems: from requirements to testing | 1-gen-2006 | Bucchiarone, A; Muccini, Henry; Pelliccione, Patrizio | |
| Software Architecture-based Regression Testing | 1-gen-2006 | Muccini, Henry; M. DIAS AND D. J., Richardson |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile