Sfoglia per Rivista IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
A Formal Framework for ASTRAL Intra-Level Proof Obligations
1994-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A unified high-level Petri net formalism for time-critical systems
1991-01-01 Ghezzi, C.; Mandrioli, D.; Morasca, Sandro; Pezze, M.
An operational process for goal-driven definition of measures
2002-01-01 Briand, Lc; Morasca, Sandro; Basili, Vr
Comments on "Towards a framework for software measurement validation"
1997-01-01 Morasca, Sandro; Briand, L.; Basili, V.; Weyuker, E.; Zelkowitz, M.
Defining and Validating Measures for Object-based High-Level Design
1999-01-01 Briand, Lc; Morasca, Sandro; Basili, Vr
Generation of Execution Sequences for Modular Time-dependent Systems
2000-01-01 SAN PIETRO, P; Morzenti, A; Morasca, Sandro
Modeling and Improving an Industrial Software Process
1995-01-01 S., Bandinelli; A., Fuggetta; Lavazza, LUIGI ANTONIO; M., Loi; G. P., Picco
Property-based software engineering measurement
1996-01-01 Briand, L.; Morasca, Sandro; Basili, V.
Response to: Comments on "Property-based software engineering measurement: refining the additivity properties"
1997-01-01 Briand, L.; Morasca, Sandro; Basili, V.
Software prototyping by relational techniques: experiences with program construction systems
1988-01-01 S., Ceri; S., CRESPI REGHIZZI; A., DI MAIO; Lavazza, LUIGI ANTONIO
Software Specialization via Symbolic Execution
1991-01-01 COEN PORISINI, Alberto; DE PAOLI, F.; Ghezzi, C.; Mandrioli, D.
Specification of Realtime Systems Using ASTRAL
1997-01-01 COEN PORISINI, Alberto; Ghezzi, C.; Kemmerer, R.
Time and Probability-Based Information Flow Analysis
2010-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Formal Framework for ASTRAL Intra-Level Proof Obligations | 1-gen-1994 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
A unified high-level Petri net formalism for time-critical systems | 1-gen-1991 | Ghezzi, C.; Mandrioli, D.; Morasca, Sandro; Pezze, M. | |
An operational process for goal-driven definition of measures | 1-gen-2002 | Briand, Lc; Morasca, Sandro; Basili, Vr | |
Comments on "Towards a framework for software measurement validation" | 1-gen-1997 | Morasca, Sandro; Briand, L.; Basili, V.; Weyuker, E.; Zelkowitz, M. | |
Defining and Validating Measures for Object-based High-Level Design | 1-gen-1999 | Briand, Lc; Morasca, Sandro; Basili, Vr | |
Generation of Execution Sequences for Modular Time-dependent Systems | 1-gen-2000 | SAN PIETRO, P; Morzenti, A; Morasca, Sandro | |
Modeling and Improving an Industrial Software Process | 1-gen-1995 | S., Bandinelli; A., Fuggetta; Lavazza, LUIGI ANTONIO; M., Loi; G. P., Picco | |
Property-based software engineering measurement | 1-gen-1996 | Briand, L.; Morasca, Sandro; Basili, V. | |
Response to: Comments on "Property-based software engineering measurement: refining the additivity properties" | 1-gen-1997 | Briand, L.; Morasca, Sandro; Basili, V. | |
Software prototyping by relational techniques: experiences with program construction systems | 1-gen-1988 | S., Ceri; S., CRESPI REGHIZZI; A., DI MAIO; Lavazza, LUIGI ANTONIO | |
Software Specialization via Symbolic Execution | 1-gen-1991 | COEN PORISINI, Alberto; DE PAOLI, F.; Ghezzi, C.; Mandrioli, D. | |
Specification of Realtime Systems Using ASTRAL | 1-gen-1997 | COEN PORISINI, Alberto; Ghezzi, C.; Kemmerer, R. | |
Time and Probability-Based Information Flow Analysis | 1-gen-2010 | Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A. |
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