Sfoglia per Autore
Software metrics: a critical evaluation and an application to PASCAL
1986-01-01 Lecciso, R.; Mainetti, S.; Morasca, Sandro
Validation of concurrent Ada programs using symbolic execution
1989-01-01 Morasca, Sandro; Pezze, M.
Symbolic Execution of concurrent systems using Petri nets
1989-01-01 Ghezzi, C.; Mandrioli, D.; Morasca, Sandro; Pezze, M.
The rationale of an environment for real-time software
1989-01-01 Morasca, Sandro; Pezze, M.
A general way to put time in Petri nets
1989-01-01 Ghezzi, C.; Mandrioli, D.; Morasca, Sandro; Pezze, M.
Using high-level Petri nets for testing concurrent and real-time systems
1990-01-01 Morasca, Sandro; Pezze, M.
Extending software complexity metrics to concurrent programs
1990-01-01 De Paoli, F.; Morasca, Sandro
Timed high-level nets
1991-01-01 Morasca, Sandro; Pezze, M.; Trubian, M.
A new timed Petri net model for hardware representation
1991-01-01 Buonanno, G.; Morasca, Sandro; Pezze, M.; Portman, K.; Sciuto, D.
A unified high-level Petri net formalism for time-critical systems
1991-01-01 Ghezzi, C.; Mandrioli, D.; Morasca, Sandro; Pezze, M.
Functional test case generation for real-time systems
1992-01-01 Mandrioli, D.; Morasca, Sandro; Morzenti, A.
Measuring and assessing maintainability at the end of high level design
1993-01-01 Briand, L.; Morasca, Sandro; Basili, V.
Validating timing requirements for time basic net specifications
1994-01-01 Ghezzi, C.; Morasca, Sandro; Pezze, M.
Generating test cases for real-time systems from logic specification
1995-01-01 Mandrioli, D.; Morasca, Sandro; Morzenti, A.
Property-based software engineering measurement
1996-01-01 Briand, L.; Morasca, Sandro; Basili, V.
Assessment of fault detection processes: an approach based onreliability techniques
1996-01-01 Morasca, Sandro
Generating functional test cases in-the-large for time-critical systems from logic-based specifications
1996-01-01 Morasca, Sandro; Morzenti, A.; San Pietro, P.
On the application of measurement theory in software engineering
1996-01-01 Briand, L.; El Emam, K.; Morasca, Sandro
Reply to "Comments to the paper: Briand, El Emam, Morasca: on the Application of Measurement Theory in Software Engineering"
1997-01-01 Briand, L.; El Emam, K.; Morasca, Sandro
Knowledge Discovery from Software Engineering Measurement Data: A Comparative Study of Two Analysis Techniques
1997-01-01 Morasca, Sandro; Ruhe, G.
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