Toon 34.441 - 34.450 resultaten van 35.970 Voor zoekopdracht '"Language"', zoektijd: 0,09s Verfijn jouw resultaten
  1. 34441

    Interface automata. door De Alfaro, Luca

    Gepubliceerd in Software engineering notes.
    Artikel

    Interface automata.
  2. 34442

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

    Behavioral contracts and behavioral subtyping. door Findler, Robert Bruce

    Gepubliceerd in Software engineering notes.
    Artikel

    Behavioral contracts and behavioral subtyping.
  9. 34449

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Component revision identification based on IDL
  10. 34450

    York programming software components. door Sreedhar, Vugranam C.

    Gepubliceerd in Software engineering notes.
    Artikel

    York programming software components.

Zoekinstrumenten: