Sfoglia per Autore
Adding sorts to TRSs: a result on modularity of termination
1999-01-01 Inverardi, Paola; Nesi, Monica
Software Architectures and Integration Testing
1999-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry
Uncovering Architectural Mismatch in Component Behavior
1999-01-01 Compare, D; Inverardi, Paola; Wolf, Al
Coordination models and Software Architectures in a Unified Software Development Process
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
Static Checking of System Behaviors Using Derived Component Assumptions
2000-01-01 Inverardi, Paola; D., Yankelevich; A. L., Wolf
Reconfiguration of Software Architecture Styles with Name Mobility
2000-01-01 D, Hirsch; Inverardi, Paola; Montanari, U.
Deriving QNM from MSCs for performance evaluation of SA
2000-01-01 F, Andolfi; F, Aquilani; S, Balsamo; Inverardi, Paola
The Teleservices and Remote Medical Care System (TRMCS)
2000-01-01 Inverardi, Paola; Muccini, Henry
Performance Analysis at the Software Architectural Design Level
2001-01-01 Aquilani, F; Balsamo, S; Inverardi, Paola
Finite Approximations for Model Checking non-finite state processes
2001-01-01 DE FRANCESCO, N; Fantechi, A; Gnesi, S; Inverardi, Paola
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution
2001-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications
2001-01-01 Inverardi, Paola; Tivoli, Massimo
Infoparco: An experience in designing an information system accessible through WEB and WAP interfaces
2001-01-01 Colafigli, C.; Inverardi, Paola; Matricciani, R.
Proving Deadlock Freedom in Component-Based Programming
2001-01-01 Inverardi, Paola; Sebastian, Uchitel
Checking consistency between architectural models using SPIN
2001-01-01 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
Automated Check of Architectural Models Consistency using Spin
2001-01-01 Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Connectors Synthesis for Deadlock-Free Component Based Architectures
2001-01-01 Inverardi, Paola; Simone, Scriboni
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