Mostra 21 - 30 risultati di 40 ricerca '"Design tools and techniques."', tempo di risposta: 0,04s Raffina i risultati
  1. 21

    Interface automata. di De Alfaro, Luca

    Articolo

    Interface automata.
  2. 22

    Automatic synthesis of deadlock free connectors for COM di Inverardi, Paola

    Articolo

    Automatic synthesis of deadlock free connectors for COM
  3. 23

    A notation for problematic architecture interactions. di Davis, L.

    Articolo

    A notation for problematic architecture interactions.
  4. 24

    Modular verification of collaboration-based software designs. di Fisler, Kathi

    Articolo

    Modular verification of collaboration-based software designs.
  5. 25

    A methodology for specifying and analyzing consistency of object-oriented behavioral models. di Engels, Gregor

    Articolo

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  6. 26

    WREN---an environment for component-based development. di Lüer, Chris

    Articolo

    WREN---an environment for component-based development.
  7. 27

    Engineering component-based net-centric systems for embedded applications. di Jahnke, Jens H.

    Articolo

    Engineering component-based net-centric systems for embedded applications.
  8. 28

    Behavioral contracts and behavioral subtyping. di Findler, Robert Bruce

    Articolo

    Behavioral contracts and behavioral subtyping.
  9. 29

    Coverage criteria for GUI testing. di Memon, Atif M.

    Articolo

    Coverage criteria for GUI testing.
  10. 30

    Component revision identification based on IDL di Brada, Přemysl

    Articolo

    Component revision identification based on IDL

Strumenti per la ricerca: