Pubblicazioni il cui periodico è "ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Numero di pubblicazioni : 4.

Articolo di rivista Giuseppe Scanniello; Filippo Ricca; Marco Torchiano; Gianna Reggio; Egidio Astesiano (2014)
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 24 n. 1, 1:1-1:38. - ISSN 1049-331X [Disponibilità ristretta]
Web of Science: 7 - Scopus: 11
[img]

Articolo di rivista Durante L; Sisto R.; Valenzano A (2003)
Automatic testing equivalence verification of spi calculus specifications. In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 12, pp. 222-284. - ISSN 1049-331X
Web of Science: 33 - Scopus: 40

Articolo di rivista Durante A.A.; R. Focardi; And R. Gorrieri (2000)
A compiler for analyzing cryptographic protocols using non-interference. In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 9(4), pp. 488-528. - ISSN 1049-331X

Articolo di rivista Jaccheri M.L.; Picco G.P.; Lago P. (1998)
Eliciting Software Process Models with the E3 Language. In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 7. - ISSN 1049-331X
Scopus: 34

Questa lista è stata generata il Fri Nov 24 05:51:07 2017 CET.