Résultat(s) 631 - 640 résultats de 736 pour la requête '"Software Engineering."', Temps de recherche: 0,03s Affiner les résultats
  1. 631

    Increasing client-side confidence in remote component implementations. par Jagannathan, Ramesh

    Article

    Increasing client-side confidence in remote component implementations.
  2. 632

    A micromodularity mechanism. par Jackson, Daniel

    Article

    A micromodularity mechanism.
  3. 633

    Detecting implied scenarios in message sequence chart specifications. par Uchitel, Sebastian

    Article

    Detecting implied scenarios in message sequence chart specifications.
  4. 634

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

    Article

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

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

    Article

    The structure and value of modularity in software design.
  6. 636

    Interface automata. par De Alfaro, Luca

    Article

    Interface automata.
  7. 637

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

    Article

    Automatic synthesis of deadlock free connectors for COM
  8. 638

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

    Article

    A notation for problematic architecture interactions.
  9. 639

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

    Article

    Using symbolic execution for verifying safety-critical systems.
  10. 640

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

    Article

    Modular verification of collaboration-based software designs.

Outils de recherche: