Näytetään 621 - 630 yhteensä 763 tuloksesta haulle '"Reasoning"', hakuaika: 0,02s Tarkenna hakua
  1. 621

    Symbolic path simulation in path-sensitive dataflow analysis. Tekijä Hampapuram, Hari

    Artikkeli

    Symbolic path simulation in path-sensitive dataflow analysis.
  2. 622

    Reasoning about confidentiality at requirements engineering time. Tekijä De Landtsheer, Renaud

    Artikkeli

    Reasoning about confidentiality at requirements engineering time.
  3. 623

    Relational analysis of algebraic datatypes. Tekijä Kuncak, Viktor

    Artikkeli

    Relational analysis of algebraic datatypes.
  4. 624

    Lightweight object specification with typestates. Tekijä Bierhoff, Kevin

    Artikkeli

    Lightweight object specification with typestates.
  5. 625

    Joining dataflow with predicates. Tekijä Fischer, Jeffrey

    Artikkeli

    Joining dataflow with predicates.
  6. 626

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

    Artikkeli

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

    Efficient incremental algorithms for dynamic detection of likely invariants. Tekijä Perkins, Jeff H.

    Artikkeli

    Efficient incremental algorithms for dynamic detection of likely invariants.
  8. 628

    Reasoning about partial goal satisfaction for requirements and design engineering. Tekijä Letier, Emmanuel

    Artikkeli

    Reasoning about partial goal satisfaction for requirements and design engineering.
  9. 629

    Interface automata. Tekijä De Alfaro, Luca

    Artikkeli

    Interface automata.
  10. 630

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

    Artikkeli

    Modular verification of collaboration-based software designs.

Työkalut: