Showing 12,401 - 12,410 results of 13,981 for search '"Design."', Forespørselstid: 0.06s Refine Results
  1. 12401

    The structure and value of modularity in software design. af Sullivan, Kevin J.

    Article

    The structure and value of modularity in software design.
  2. 12402

    Interface automata. af De Alfaro, Luca

    Article

    Interface automata.
  3. 12403

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

    Article

    Automatic synthesis of deadlock free connectors for COM
  4. 12404

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

    Article

    A notation for problematic architecture interactions.
  5. 12405

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

    Article

    Modular verification of collaboration-based software designs.
  6. 12406

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

    Article

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  7. 12407

    Combining UML and formal notations for modelling real-time systems. af Lavazza, Luigi

    Article

    Combining UML and formal notations for modelling real-time systems.
  8. 12408

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

    Article

    WREN---an environment for component-based development.
  9. 12409

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

    Article

    Engineering component-based net-centric systems for embedded applications.
  10. 12410

    Behavioral contracts and behavioral subtyping. af Findler, Robert Bruce

    Article

    Behavioral contracts and behavioral subtyping.

Søgeredskaber: