Showing 331 - 340 results of 579 for search '"Tool."', query time: 0.02s Refine Results
  1. 331

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

    Article

    Detecting implied scenarios in message sequence chart specifications.
  2. 332

    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.
  3. 333

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

    Article

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

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  5. 335

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

    Article

    Automatic synthesis of deadlock free connectors for COM
  6. 336

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

    Article

    A notation for problematic architecture interactions.
  7. 337

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

    Article

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

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

    Article

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

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

    Article

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

    Engineering component-based net-centric systems for embedded applications. by Jahnke, Jens H.

    Article

    Engineering component-based net-centric systems for embedded applications.

Search Tools: