Sfoglia per Autore
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy
1997-01-01 Inverardi, Paola; Antonia, Bertolino; Muccini, Henry; Andrea, Rosetti
An Approach to Integration Testing Based on Architectural Descriptions
1997-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry; A, Rosetti
Software Architectures and Integration Testing
1999-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry
Coordination models and Software Architectures in a Unified Software Development Process
2000-01-01 Inverardi, Paola; Muccini, Henry
The Teleservices and Remote Medical Care System (TRMCS)
2000-01-01 Inverardi, Paola; Muccini, Henry
A Coordination Process Based on UML and a Software Architectural Description
2000-01-01 Inverardi, Paola; Muccini, Henry
Coordination Models and Software Architectures in a Unified Software Development
2000-01-01 Inverardi, Paola; Muccini, Henry
Deriving Test Plans from Architectural Descriptions
2000-01-01 A., Bertolino; F., Corradini; Inverardi, Paola; Muccini, Henry
Checking consistency between architectural models using SPIN
2001-01-01 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution
2001-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry
Automated Check of Architectural Models Consistency using Spin
2001-01-01 Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
An Experience in Architectural Extensions: Active Objects in J2EE
2002-01-01 Inverardi, Paola; F., Mancinelli; Muccini, Henry; Pelliccione, Patrizio
Software Architecture for Testing, Coordination and Views Model Checking
2002-01-01 Muccini, Henry
An Approach for Detecting Implied Scenarios
2002-01-01 Muccini, Henry
An Experience in Architectural Extension: Active Object in J2EE
2002-01-01 Inverardi, Paola; Mancinelli, F.; Muccini, Henry; Pelliccione, Patrizio
Detecting Implied Scenarios analyzing non-local Branching Choices
2003-01-01 Muccini, Henry
Towards Testing Product Line Architectures
2003-01-01 Muccini, Henry; A., VAN DER HOEK
Eliciting Coordination Policies from Requirements
2003-01-01 Muccini, Henry; F., Mancinelli
Coordination models, Software Architecture, UML, Process
2003-01-01 Inverardi, Paola; Muccini, Henry
Formal Methods in Testing Software Architectures
2003-01-01 Bertolino, A; Inverardi, Paola; Muccini, Henry
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