7,411 - 7,420 toradh á dtaispeáint as 8,296 toradh san iomlán ar an gcuardach '"Methods."', am iarratais: 0.05s Beachtaigh na torthaí
  1. 7411

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code. de réir Li, Zhenmin

    Alt

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code.
  2. 7412

    Quantitative assessment of UML dynamic models. de réir Baroni, Aline Lúcia

    Alt

    Quantitative assessment of UML dynamic models.
  3. 7413

    UPEX user participation by example. de réir Erfurth, Ivonne

    Alt

    UPEX user participation by example.
  4. 7414

    Some agent theory for the semantic web. de réir Fass, Leona F.

    Alt

    Some agent theory for the semantic web.
  5. 7415

    Trustworthy software systems. de réir Bernstein, Larry

    Alt

    Trustworthy software systems.
  6. 7416

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. de réir Dingel, Juergen

    Alt

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  7. 7417

    Interface automata. de réir De Alfaro, Luca

    Alt

    Interface automata.
  8. 7418

    Using symbolic execution for verifying safety-critical systems. de réir Coen-Porisini, Alberto

    Alt

    Using symbolic execution for verifying safety-critical systems.
  9. 7419

    A methodology for specifying and analyzing consistency of object-oriented behavioral models. de réir Engels, Gregor

    Alt

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  10. 7420

    Combining UML and formal notations for modelling real-time systems. de réir Lavazza, Luigi

    Alt

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

Uirlisí cuardaigh: