Showing 161 - 170 results of 242 for search '"Verification."', query time: 0.02s Refine Results
  1. 161

    Automatic abstraction for model checking software systems with interrelated numeric constraints. by Choi, Yunja

    Article

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  2. 162

    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.
  3. 163

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

    Article

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

    Pursuing failure the distribution of program failures in a profile space. by Dickinson, William

    Article

    Pursuing failure the distribution of program failures in a profile space.
  5. 165

    Coverage criteria for GUI testing. by Memon, Atif M.

    Article

    Coverage criteria for GUI testing.
  6. 166

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

    Article

    An industrial case study of implementing software risk management.
  7. 167

    An empirical methodology for introducing software processes. by Shull, Forrest

    Article

    An empirical methodology for introducing software processes.
  8. 168

    STG a tool for generating symbolic test programs and oracles from operational specifications. by Clarke, Duncan

    Article

    STG a tool for generating symbolic test programs and oracles from operational specifications.
  9. 169

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

    Article

    A formal data-model of the CORBA security service.
  10. 170

    A plant taxonomy for designing control experiments. by Bernstein, D.

    Article

    A plant taxonomy for designing control experiments.

Search Tools: