Sfoglia per Autore
Experimenting with Dynamic Linking with Ada
1993-01-01 Inverardi, Paola; Mazzanti, F.
An `Executable' Impredicative Semantics for the Ada Configuration.
1993-01-01 Bucci, A; Inverardi, Paola; Martini, Simone
Graphics by a Logic Database Management System
1994-01-01 Asirelli, Patrizia; Di Grande, D; Inverardi, Paola; Nicodemi, F.
Proving Finiteness of CCS Processes by Non-Standard Semantics
1994-01-01 De Francesco, Nicoletta; Inverardi, Paola
Automatizing Parametric Reasoning on Distributed Concurrent Systems
1994-01-01 Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel
Rational Rewriting
1994-01-01 Inverardi, Paola; Marisa, Venturini Zilli
Rewriting for Preorder Relations
1995-01-01 Inverardi, Paola
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting
1995-01-01 Inverardi, Paola; Nesi, Monica
Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model
1995-01-01 Inverardi, Paola; Wolf, Al
Infinite Normal Forms for Non-linear Term Rewriting Systems
1995-01-01 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-Linear Term Rewritting Systems
1995-01-01 Inverardi, Paola; Nesi, Monica
Model Checking of Non-Finite State Processes by Finite Approximations
1995-01-01 Inverardi, Paola; Nicoletta, De Francesco; Alessandro, Fantechi; Stefania, Gnesi
ESP-MC: An Experiment in the Use of Verification Tools
1995-01-01 Xiaojun, Chen; Inverardi, Paola; Carlo, Montangero
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
Static Checking of System Behaviors Using Derived Component Assumptions
1997-01-01 Inverardi, Paola; D, Yankelevich; Al, Wolf
An Approach to Integration Testing Based on Architectural Descriptions
1997-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry; A, Rosetti
An approach to performance evaluation of software architectures
1998-01-01 Inverardi, Paola; Simonetta, Balsamo; Calogero, Mangano
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
1999-01-01 Inverardi, Paola; Dan, Hirsch; Ugo, Montanari
Software Architectures and Integration Testing
1999-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry
Adding sorts to TRSs: a result on modularity of termination
1999-01-01 Inverardi, Paola; Nesi, Monica
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