Showing 281 - 290 results of 433 for search '"Specifications."', query time: 0.02s Refine Results
  1. 281

    An architectural style of product lines for distributed processing systems, and practical selection method. by Morisawa, Yoshitomi

    Article

    An architectural style of product lines for distributed processing systems, and practical selection method.
  2. 282

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

    Article

    Increasing client-side confidence in remote component implementations.
  3. 283

    A micromodularity mechanism. by Jackson, Daniel

    Article

    A micromodularity mechanism.
  4. 284

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

    Article

    Detecting implied scenarios in message sequence chart specifications.
  5. 285

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  6. 286

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

    Article

    Modular verification of collaboration-based software designs.
  7. 287

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

    Article

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

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

    Article

    Component revision identification based on IDL
  9. 289

    A formal data-model of the CORBA security service. by Basin, David

    Article

    A formal data-model of the CORBA security service.
  10. 290

    The TINA Consortium. by Inoue, Y.

    Article

    The TINA Consortium.

Search Tools: