Mostrando 13,391 - 13,400 resultados de 15,302 para a busca '"Engineer."', tempo de busca: 0.05s Refinar Resultados
  1. 13391

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

    Artigo

    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. por Sullivan, Kevin J.

    Artigo

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

    Interface automata. por De Alfaro, Luca

    Artigo

    Interface automata.
  4. 13394

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

    Artigo

    Automatic synthesis of deadlock free connectors for COM
  5. 13395

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

    Artigo

    A notation for problematic architecture interactions.
  6. 13396

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

    Artigo

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

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

    Artigo

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

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

    Artigo

    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. por Engels, Gregor

    Artigo

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

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

    Artigo

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

Ferramentas de busca: