Gösterilen 111 - 120 sonuçlar arası kayıtlar. 242 sonuç. Aranan kelime '"Verification."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 111

    A concept analysis inspired greedy algorithm for test suite minimization. Yazar: Tallam, Sriraman

    Makale

    A concept analysis inspired greedy algorithm for test suite minimization.
  2. 112

    Invariants and state in testing and formal methods. Yazar: Hamlet, Dick

    Makale

    Invariants and state in testing and formal methods.
  3. 113

    Symbolic path simulation in path-sensitive dataflow analysis. Yazar: Hampapuram, Hari

    Makale

    Symbolic path simulation in path-sensitive dataflow analysis.
  4. 114

    String analysis for x86 binaries. Yazar: Christodorescu, Mihai

    Makale

    String analysis for x86 binaries.
  5. 115

    Static control-flow analysis for reverse engineering of UML sequence diagrams. Yazar: Rountev, Atanas

    Makale

    Static control-flow analysis for reverse engineering of UML sequence diagrams.
  6. 116

    Formally modelling software architectures with the UML 2.0 profile for π-ADL. Yazar: Oquendo, Flavio

    Makale

    Formally modelling software architectures with the UML 2.0 profile for π-ADL.
  7. 117

    Engineering distributed software a structural discipline. Yazar: Kramer, Jeff

    Makale

    Engineering distributed software a structural discipline.
  8. 118

    Permissive interfaces. Yazar: Henzinger, Thomas A.

    Makale

    Permissive interfaces.
  9. 119

    Reasoning about confidentiality at requirements engineering time. Yazar: De Landtsheer, Renaud

    Makale

    Reasoning about confidentiality at requirements engineering time.
  10. 120

    Detecting and resolving semantic pathologies in UML sequence diagrams. Yazar: Baker, Paul

    Makale

    Detecting and resolving semantic pathologies in UML sequence diagrams.

Arama Araçları: