Dangos 13,391 - 13,400 canlyniadau o 15,303 ar gyfer chwilio '"Engineering."', amser ymholiad: 0.06e Mireinio'r Canlyniadau
  1. 13391

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

    Erthygl

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

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

    Erthygl

    The structure and value of modularity in software design.
  3. 13393

    Interface automata. gan De Alfaro, Luca

    Erthygl

    Interface automata.
  4. 13394

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

    Erthygl

    Automatic synthesis of deadlock free connectors for COM
  5. 13395

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

    Erthygl

    A notation for problematic architecture interactions.
  6. 13396

    Using symbolic execution for verifying safety-critical systems. gan Coen-Porisini, Alberto

    Erthygl

    Using symbolic execution for verifying safety-critical systems.
  7. 13397

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

    Erthygl

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

    Automatic abstraction for model checking software systems with interrelated numeric constraints. gan Choi, Yunja

    Erthygl

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  9. 13399

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

    Erthygl

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  10. 13400

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

    Erthygl

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

Offerynnau Chwilio: