Showing 12,401 - 12,410 results of 13,983 for search '"Designs."', čas poizvedbe: 0.05s Refine Results
  1. 12401

    A formal approach to the assessment and improvement of terminological models used in information systems engineering. od Wendorff, Peter

    Article

    A formal approach to the assessment and improvement of terminological models used in information systems engineering.
  2. 12402

    Using aspectC to improve the modularity of path-specific customization in operating system code. od Coady, Yvonne

    Article

    Using aspectC to improve the modularity of path-specific customization in operating system code.
  3. 12403

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

    Article

    The structure and value of modularity in software design.
  4. 12404

    Interface automata. od De Alfaro, Luca

    Article

    Interface automata.
  5. 12405

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

    Article

    Automatic synthesis of deadlock free connectors for COM
  6. 12406

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

    Article

    A notation for problematic architecture interactions.
  7. 12407

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

    Article

    Modular verification of collaboration-based software designs.
  8. 12408

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

    Article

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  9. 12409

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

    Article

    Combining UML and formal notations for modelling real-time systems.
  10. 12410

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

    Article

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

Iskalna orodja: