Archivio Istituzionale della RicercaSfoglia per Rivista ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
A compiler for analyzing cryptographic protocols using non-interference
2000 Durante, ANTONIO ANDREA; R., Focardi; AND R., Gorrieri
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements
2014 Giuseppe, Scanniello; Filippo, Ricca; Torchiano, Marco; Gianna, Reggio; Egidio, Astesiano
Automatic testing equivalence verification of spi calculus specifications
2003 Durante, L; Sisto, Riccardo; Valenzano, A.
Eliciting Software Process Models with the E3 Language
1998 Jaccheri, M. L.; Picco, G. P.; Lago, Patricia
Feature Matching-based Approaches to Improve the Robustness of Android Visual GUI Testing
2021 Ardito, Luca; Bottino, Andrea; Coppola, Riccardo; Lamberti, Fabrizio; Manigrasso, Francesco; Morra, Lia; Torchiano, Marco
Status quo in requirements engineering: A theory and a global family of surveys
2019 Wagner, Stefan; Fernández, Daniel Méndez; Felderer, Michael; Vetrò, Antonio; Kalinowski, Marcos; Wieringa, Roel; Pfahl, Dietmar; Conte, Tayana; Christiansson, Marie-Therese; Greer, Desmond; Lassenius, Casper; Männistö, Tomi; Nayebi, Maleknaz; Oivo, Markku; Penzenstadler, Birgit; Prikladnicki, Rafael; Ruhe, Guenther; Schekelmann, André; Sen, Sagar; Spínola, Rodrigo; Tuzcu, Ahmed; De La Vara, Jose Luis; Winkler, Dietmar
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A compiler for analyzing cryptographic protocols using non-interference / Durante, ANTONIO ANDREA; R., Focardi; AND R., Gorrieri. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 9(4):(2000), pp. 488-528. | 1-gen-2000 | DURANTE, ANTONIO ANDREA + | - |
| Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements / Giuseppe, Scanniello; Filippo, Ricca; Torchiano, Marco; Gianna, Reggio; Egidio, Astesiano. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 24:1(2014), pp. 1:1-1:38. [10.1145/2629457] | 1-gen-2014 | TORCHIANO, MARCO + | - |
| Automatic testing equivalence verification of spi calculus specifications / Durante, L; Sisto, Riccardo; Valenzano, A.. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 12:(2003), pp. 222-284. | 1-gen-2003 | DURANTE LSISTO, Riccardo + | - |
| Eliciting Software Process Models with the E3 Language / Jaccheri, M. L.; Picco, G. P.; Lago, Patricia. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 7:(1998). | 1-gen-1998 | LAGO, Patricia + | - |
| Feature Matching-based Approaches to Improve the Robustness of Android Visual GUI Testing / Ardito, Luca; Bottino, Andrea; Coppola, Riccardo; Lamberti, Fabrizio; Manigrasso, Francesco; Morra, Lia; Torchiano, Marco. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 31:2(2021), pp. 1-32. [10.1145/3477427] | 1-gen-2021 | Ardito, LucaBottino, AndreaCoppola, RiccardoLamberti, FabrizioManigrasso, FrancescoMorra, LiaTorchiano, Marco | Feature-Matching.pdf; 2021_Ardito_TOSEM_FeatureMatching.pdf |
| Status quo in requirements engineering: A theory and a global family of surveys / Wagner, Stefan; Fernández, Daniel Méndez; Felderer, Michael; Vetrò, Antonio; Kalinowski, Marcos; Wieringa, Roel; Pfahl, Dietmar; Conte, Tayana; Christiansson, Marie-Therese; Greer, Desmond; Lassenius, Casper; Männistö, Tomi; Nayebi, Maleknaz; Oivo, Markku; Penzenstadler, Birgit; Prikladnicki, Rafael; Ruhe, Guenther; Schekelmann, André; Sen, Sagar; Spínola, Rodrigo; Tuzcu, Ahmed; De La Vara, Jose Luis; Winkler, Dietmar. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - STAMPA. - 28:2(2019), pp. 1-48. [10.1145/3306607] | 1-gen-2019 | Vetrò, Antonio + | 1805.07951.pdf; 3306607.pdf |
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