Erakusten 2.521 - 2.530 emaitzak -- 3.416 bilaketa honetara '"Software."', Bilaketaren denbora: 0,03s Findu emaitzak
  1. 2521

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    An algebraic approach to file synchronization. nork Ramsey, Norman

    Argitaratua izan da Software engineering notes.
    Artikulua

    An algebraic approach to file synchronization.
  5. 2525

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    Behavioral contracts and behavioral subtyping. nork Findler, Robert Bruce

    Argitaratua izan da Software engineering notes.
    Artikulua

    Behavioral contracts and behavioral subtyping.
  10. 2530

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

Bilaketa egiteko lanabesak: