Sfoglia per Rivista
How Software Refactoring Impacts Execution Time
2022-01-01 Traini, L.; Di Pompeo, D.; Tucci, M.; Lin, B.; Scalabrino, S.; Bavota, G.; Lanza, M.; Oliveto, R.; Cortellessa, V.
Model-based synthesis of control software from system-level formal specifications
2014-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Static Checking of System Behaviors Using Derived Component Assumptions
2000-01-01 Inverardi, Paola; D., Yankelevich; A. L., Wolf
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
How Software Refactoring Impacts Execution Time | 1-gen-2022 | Traini, L.; Di Pompeo, D.; Tucci, M.; Lin, B.; Scalabrino, S.; Bavota, G.; Lanza, M.; Oliveto, R.; Cortellessa, V. | |
Model-based synthesis of control software from system-level formal specifications | 1-gen-2014 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Static Checking of System Behaviors Using Derived Component Assumptions | 1-gen-2000 | Inverardi, Paola; D., Yankelevich; A. L., Wolf |
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