Showing 631 - 640 results of 739 for search '"Software engineering."', query time: 0.02s Refine Results
  1. 631

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

    Article

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

    A micromodularity mechanism. by Jackson, Daniel

    Article

    A micromodularity mechanism.
  3. 633

    Detecting implied scenarios in message sequence chart specifications. by 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. by 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. by Sullivan, Kevin J.

    Article

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

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  7. 637

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

    Article

    Automatic synthesis of deadlock free connectors for COM
  8. 638

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

    Article

    A notation for problematic architecture interactions.
  9. 639

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

    Article

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

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

    Article

    Modular verification of collaboration-based software designs.

Search Tools: