Search Results - "DE CASO, GUIDO"

  • Showing 1 - 7 results of 7
Refine Results
  1. 1

    Contractor.NET.

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

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

    HTML Full Text
    Save to List
  2. 2

    Program abstractions for behaviour validation.

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

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

    HTML Full Text
    Save to List
  3. 3

    Pest.

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

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

    HTML Full Text
    Save to List
  4. 4

    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

    PDF Full Text
    Save to List
  5. 5

    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

    PDF Full Text
    Save to List
  6. 6

    2012 Annual Index.

    Source: IEEE Transactions on Software Engineering. Jan2013, Vol. 39 Issue 1, pN.PAG. 0p.

    Subjects: Pagination, Authors, Indexes, Publishing

    PDF Full Text
    Save to List
  7. 7

    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

    PDF Full Text
    Save to List

Search Tools: