Treffer 21 - 23 von 23 für Suche '"Logics and meanings of programs."', Suchdauer: 0,02s Treffer weiter einschränken
  1. 21

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

    Veröffentlicht in Software engineering notes.
    Artikel

    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. von Ceballos, Rafael

    Veröffentlicht in Software engineering notes.
    Artikel

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

    Refining code-design mapping with flow analysis. von Zhang, Xiaofang

    Veröffentlicht in Software engineering notes.
    Artikel

    Refining code-design mapping with flow analysis.

Suchwerkzeuge: