Showing 7,411 - 7,420 results of 8,292 for search '"Methodism"', query time: 0.04s Refine Results
  1. 7411

    UPEX user participation by example. by Erfurth, Ivonne

    Article

    UPEX user participation by example.
  2. 7412

    Some agent theory for the semantic web. by Fass, Leona F.

    Article

    Some agent theory for the semantic web.
  3. 7413

    Trustworthy software systems. by Bernstein, Larry

    Article

    Trustworthy software systems.
  4. 7414

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. by Dingel, Juergen

    Article

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  5. 7415

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  6. 7416

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

    Article

    Using symbolic execution for verifying safety-critical systems.
  7. 7417

    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.
  8. 7418

    Combining UML and formal notations for modelling real-time systems. by Lavazza, Luigi

    Article

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

    An industrial case study of implementing software risk management. by Freimut, Bernd

    Article

    An industrial case study of implementing software risk management.
  10. 7420

    A formal data-model of the CORBA security service. by Basin, David

    Article

    A formal data-model of the CORBA security service.

Search Tools: