Mostra 631 - 640 risultati di 736 ricerca '"Software engineers."', tempo di risposta: 0,02s Raffina i risultati
  1. 631

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

    Articolo

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

    A micromodularity mechanism. di Jackson, Daniel

    Articolo

    A micromodularity mechanism.
  3. 633

    Detecting implied scenarios in message sequence chart specifications. di Uchitel, Sebastian

    Articolo

    Detecting implied scenarios in message sequence chart specifications.
  4. 634

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

    Articolo

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

    The structure and value of modularity in software design. di Sullivan, Kevin J.

    Articolo

    The structure and value of modularity in software design.
  6. 636

    Interface automata. di De Alfaro, Luca

    Articolo

    Interface automata.
  7. 637

    Automatic synthesis of deadlock free connectors for COM di Inverardi, Paola

    Articolo

    Automatic synthesis of deadlock free connectors for COM
  8. 638

    A notation for problematic architecture interactions. di Davis, L.

    Articolo

    A notation for problematic architecture interactions.
  9. 639

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

    Articolo

    Using symbolic execution for verifying safety-critical systems.
  10. 640

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

    Articolo

    Modular verification of collaboration-based software designs.

Strumenti per la ricerca: