Naviga IRIS

Sfoglia per Rivista ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 6 di 6

1994-01-01 F., PARISI PRESICCE; Pierantonio, Alfonso

2019-01-01 De Lara, Juan; Guerra, Esther; DI RUSCIO, Davide; DI ROCCO, Juri; Sanchez Cuadrado, Jesus; Iovino, Ludovico; Pierantonio, Alfonso

2025-01-01 Autili, Marco; De Sanctis, Martina; Inverardi, Paola; Pelliccione, Patrizio

2022-01-01 Traini, L.; Di Pompeo, D.; Tucci, M.; Lin, B.; Scalabrino, S.; Bavota, G.; Lanza, M.; Oliveto, R.; Cortellessa, V.

2014-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico

2000-01-01 Inverardi, Paola; D., Yankelevich; A. L., Wolf

Titolo	Data di pubblicazione	Autore(i)
An Algebraic Theory of Class Specifications	1-gen-1994	F., PARISI PRESICCE; Pierantonio, Alfonso
Automated Reuse of Model Transformations through Typing Requirements Models	1-gen-2019	De Lara, Juan; Guerra, Esther; DI RUSCIO, Davide; DI ROCCO, Juri; Sanchez Cuadrado, Jesus; Iovino, Ludovico; Pierantonio, Alfonso
Engineering Digital Systems for Humanity: a Research Roadmap	1-gen-2025	Autili, Marco; De Sanctis, Martina; Inverardi, Paola; Pelliccione, Patrizio
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

Mostrati risultati da 1 a 6 di 6