Sfoglia per Autore
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance
1999-01-01 Inverardi, Paola; Candida, Attanasio; Flavio, Corradini
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
1999-01-01 Inverardi, Paola; Dan, Hirsch; Ugo, Montanari
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
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
Deriving QNM from MSCs for performance evaluation of SA
2000-01-01 F, Andolfi; F, Aquilani; S, Balsamo; Inverardi, Paola
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 Test Plans from Architectural Descriptions
2000-01-01 A., Bertolino; F., Corradini; Inverardi, Paola; Muccini, Henry
Coordination Models and Software Architectures in a Unified Software Development
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
Proving Deadlock Freedom in Component-Based Programming
2001-01-01 Inverardi, Paola; Sebastian, Uchitel
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications
2001-01-01 Inverardi, Paola; Tivoli, Massimo
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
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution
2001-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry
Infoparco: An experience in designing an information system accessible through WEB and WAP interfaces
2001-01-01 Colafigli, C.; Inverardi, Paola; Matricciani, R.
Checking consistency between architectural models using SPIN
2001-01-01 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
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