Sfoglia per Autore  

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