Showing 641 - 650 results of 739 for search '"Software engineering."', query time: 0.02s Refine Results
  1. 641

    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. 642

    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. 643

    WREN---an environment for component-based development. by Lüer, Chris

    Article

    WREN---an environment for component-based development.
  4. 644

    Engineering component-based net-centric systems for embedded applications. by Jahnke, Jens H.

    Article

    Engineering component-based net-centric systems for embedded applications.
  5. 645

    Behavioral contracts and behavioral subtyping. by Findler, Robert Bruce

    Article

    Behavioral contracts and behavioral subtyping.
  6. 646

    Analysis of the constraint solver in UNA based test data generation. by Edvardsson, Jon

    Article

    Analysis of the constraint solver in UNA based test data generation.
  7. 647

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

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

    Article

    Coverage criteria for GUI testing.
  9. 649

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

    Article

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

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

    Article

    An empirical methodology for introducing software processes.

Search Tools: