Εμφανίζονται 11 - 14 Αποτελέσματα από 14 για την αναζήτηση '"Specifying and verifying and reasoning about programs."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 11

    Static analysis in datalog extensions. ανά Halevy, Alon Y.

    Τόπος έκδοσης Journal of the ACM
    Άρθρο

    Static analysis in datalog extensions.
  2. 12

    Non-null references by default in the Java modeling language. ανά Chalin, Patrice

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Non-null references by default in the Java modeling language.
  3. 13

    Specification and design of component-based coordination systems by integrating coordination patterns. ανά Pérez-Serrano, Pedro L.

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Specification and design of component-based coordination systems by integrating coordination patterns.
  4. 14

    Constraint satisfaction techniques for diagnosing errors in design by contract software. ανά Ceballos, Rafael

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Constraint satisfaction techniques for diagnosing errors in design by contract software.

Εργαλεία αναζήτησης: