Prikaz rezultata 16.501 – 16.510 od 16.775 za pretragu '"Programming."', vrijeme upita: 0,06s Detaljiziraj rezultate
  1. 16501

    Increasing client-side confidence in remote component implementations. od Jagannathan, Ramesh

    Članak

    Increasing client-side confidence in remote component implementations.
  2. 16502

    Using aspectC to improve the modularity of path-specific customization in operating system code. od Coady, Yvonne

    Članak

    Using aspectC to improve the modularity of path-specific customization in operating system code.
  3. 16503

    Interface automata. od De Alfaro, Luca

    Članak

    Interface automata.
  4. 16504

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

    Članak

    Using symbolic execution for verifying safety-critical systems.
  5. 16505

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

    Članak

    Modular verification of collaboration-based software designs.
  6. 16506

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

    Članak

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  7. 16507

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

    Članak

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  8. 16508

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

    Članak

    Combining UML and formal notations for modelling real-time systems.
  9. 16509

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

    Članak

    WREN---an environment for component-based development.
  10. 16510

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

    Članak

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

Alati za pretragu: