Search Results - "DE CASO, GUIDO"

Contractor.NET.

Authors: Zoppi, Edgardo Braberman, Víctor de Caso, Guido et al.

Source: ICSE: International Conference on Software Engineering; May2011, p44-47, 4p

Pest.

Authors: de Caso, Guido Garbervetsky, Diego Gorín, Daniel

Source: ICSE: International Conference on Software Engineering; May2011, p5-8, 4p

Program abstractions for behaviour validation.

Authors: de Caso, Guido Braberman, Víctor Garbervetsky, Diego et al.

Source: ICSE: International Conference on Software Engineering; May2011, p381-390, 10p

Validation of Contracts using Enabledness Preserving Finite State Abstractions.

Authors: de Caso, Guido Braberman, Víctor Garbervetsky, Diego et al.

Source: ICSE: International Conference on Software Engineering; 2009, p452-462, 11p, 7 Diagrams

Historia de la computación: la dificultad de mirar hacia atrás.

Authors: de Caso, Guido¹

Source: Revista Iberoamericana de Ciencia, Tecnologia y Sociedad. dic2015 especial, p149-152. 4p.

Enabledness-Based Program Abstractions for Behavior Validation.

Authors: DE CASO, GUIDO BRABERMAN, VICTOR GARBERVETSKY, DIEGO et al.

Source: ACM Transactions on Software Engineering & Methodology; Jul2013, Vol. 22 Issue 3, p25:1-25:46, 46p

Breve repaso histórico de la computación hogareña en la Argentina.

Authors: de Caso, Guido

Source: Revista Iberoamericana de Ciencia, Tecnologia y Sociedad. sep2011, Vol. 6 Issue 18, p1-15. 15p.

Behavioural validation of software engineering artefacts.

Authors: de Caso, Guido

Source: ICSE: International Conference on Software Engineering; May2010, p505-506, 2p

Automated Abstractions for Contract Validation.

Authors: de Caso, Guido Braberman, Victor Garbervetsky, Diego et al.

Source: IEEE Transactions on Software Engineering; Jan2012, Vol. 38 Issue 1, p141-162, 0p, 11 Diagrams, 3 Charts