يعرض 11 - 14 نتائج من 14 نتيجة بحث عن '"Specifying and Verifying and Reasoning about Programs."', وقت الاستعلام: 0.02s تنقيح النتائج
  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.

أدوات البحث: