検索結果 331 - 340 結果 / 579 検索語 '"Tools."', 処理時間: 0.02秒 結果の絞り込み
  1. 331

    Detecting implied scenarios in message sequence chart specifications. 著者: Uchitel, Sebastian

    論文

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

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

    論文

    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. 著者: Sullivan, Kevin J.

    論文

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

    Interface automata. 著者: De Alfaro, Luca

    論文

    Interface automata.
  5. 335

    Automatic synthesis of deadlock free connectors for COM 著者: Inverardi, Paola

    論文

    Automatic synthesis of deadlock free connectors for COM
  6. 336

    A notation for problematic architecture interactions. 著者: Davis, L.

    論文

    A notation for problematic architecture interactions.
  7. 337

    Modular verification of collaboration-based software designs. 著者: Fisler, Kathi

    論文

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

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

    論文

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

    WREN---an environment for component-based development. 著者: Lüer, Chris

    論文

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

    Engineering component-based net-centric systems for embedded applications. 著者: Jahnke, Jens H.

    論文

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

検索ツール: