Gösterilen 641 - 650 sonuçlar arası kayıtlar. 736 sonuç. Aranan kelime '"Software Engineering."', Sorgu süresi: 0.03s Sonuçları Daraltın
  1. 641

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

    Makale

    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. Yazar: Engels, Gregor

    Makale

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  3. 643

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

    Makale

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

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

    Makale

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

    Behavioral contracts and behavioral subtyping. Yazar: Findler, Robert Bruce

    Makale

    Behavioral contracts and behavioral subtyping.
  6. 646

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

    Makale

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

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

    Makale

    Pursuing failure the distribution of program failures in a profile space.
  8. 648

    Coverage criteria for GUI testing. Yazar: Memon, Atif M.

    Makale

    Coverage criteria for GUI testing.
  9. 649

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

    Makale

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

    An empirical methodology for introducing software processes. Yazar: Shull, Forrest

    Makale

    An empirical methodology for introducing software processes.

Arama Araçları: