検索結果 7,411 - 7,420 結果 / 8,295 検索語 '"Methodism."', 処理時間: 0.04秒 結果の絞り込み
  1. 7411

    Quantitative assessment of UML dynamic models. 著者: Baroni, Aline Lúcia

    論文

    Quantitative assessment of UML dynamic models.
  2. 7412

    UPEX user participation by example. 著者: Erfurth, Ivonne

    論文

    UPEX user participation by example.
  3. 7413

    Some agent theory for the semantic web. 著者: Fass, Leona F.

    論文

    Some agent theory for the semantic web.
  4. 7414

    Trustworthy software systems. 著者: Bernstein, Larry

    論文

    Trustworthy software systems.
  5. 7415

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. 著者: Dingel, Juergen

    論文

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  6. 7416

    Interface automata. 著者: De Alfaro, Luca

    論文

    Interface automata.
  7. 7417

    Using symbolic execution for verifying safety-critical systems. 著者: Coen-Porisini, Alberto

    論文

    Using symbolic execution for verifying safety-critical systems.
  8. 7418

    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. 7419

    Combining UML and formal notations for modelling real-time systems. 著者: Lavazza, Luigi

    論文

    Combining UML and formal notations for modelling real-time systems.
  10. 7420

    An industrial case study of implementing software risk management. 著者: Freimut, Bernd

    論文

    An industrial case study of implementing software risk management.

検索ツール: