Εμφανίζονται 21 - 23 Αποτελέσματα από 23 για την αναζήτηση '"Logics and Meanings of Programs."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 21

    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.
  2. 22

    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.
  3. 23

    Refining code-design mapping with flow analysis. ανά Zhang, Xiaofang

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

    Refining code-design mapping with flow analysis.

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