Rezultaty 34.441 - 34.450 Rezultaty od 35.970 Dla wyszukiwania '"Languages."', Czas wyszukiwania: 0,09s Redukuj rezultaty
  1. 34441

    Interface automata. od De Alfaro, Luca

    Artykuł

    Interface automata.
  2. 34442

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

    Artykuł

    Using symbolic execution for verifying safety-critical systems.
  3. 34443

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

    Artykuł

    Modular verification of collaboration-based software designs.
  4. 34444

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

    Artykuł

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  5. 34445

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

    Artykuł

    Combining UML and formal notations for modelling real-time systems.
  6. 34446

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

    Artykuł

    WREN---an environment for component-based development.
  7. 34447

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

    Artykuł

    Engineering component-based net-centric systems for embedded applications.
  8. 34448

    Behavioral contracts and behavioral subtyping. od Findler, Robert Bruce

    Artykuł

    Behavioral contracts and behavioral subtyping.
  9. 34449

    Component revision identification based on IDL od Brada, Přemysl

    Artykuł

    Component revision identification based on IDL
  10. 34450

    York programming software components. od Sreedhar, Vugranam C.

    Artykuł

    York programming software components.

Narzędzie wyszukiwania: