Zobrazuji výsledky 2 521 - 2 530 z 3 416 pro vyhledávání '"Software"', doba hledání: 0,02 s. Upřesnit hledání
  1. 2521

    Using symbolic execution for verifying safety-critical systems. Autor Coen-Porisini, Alberto

    Článek

    Using symbolic execution for verifying safety-critical systems.
  2. 2522

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

    Článek

    Modular verification of collaboration-based software designs.
  3. 2523

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

    Článek

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  4. 2524

    An algebraic approach to file synchronization. Autor Ramsey, Norman

    Článek

    An algebraic approach to file synchronization.
  5. 2525

    A methodology for specifying and analyzing consistency of object-oriented behavioral models. Autor Engels, Gregor

    Článek

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  6. 2526

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

    Článek

    Combining UML and formal notations for modelling real-time systems.
  7. 2527

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

    Článek

    WREN---an environment for component-based development.
  8. 2528

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

    Článek

    Engineering component-based net-centric systems for embedded applications.
  9. 2529

    Behavioral contracts and behavioral subtyping. Autor Findler, Robert Bruce

    Článek

    Behavioral contracts and behavioral subtyping.
  10. 2530

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

    Článek

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

Vyhledávací nástroje: