Sfoglia per Autore  

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