Showing 3,061 - 3,070 results of 3,416 for search '"Software."', query time: 0.02s Refine Results
  1. 3061

    Classboxes an experiment in modeling compositional abstractions using explicit contexts. by Lumpe, Markus

    Article

    Classboxes an experiment in modeling compositional abstractions using explicit contexts.
  2. 3062

    A specification-based approach to reasoning about pointers. by Kulczycki, Gregory

    Article

    A specification-based approach to reasoning about pointers.
  3. 3063

    Specification and verification of inter-component constraints in CTL. by Thang, Nguyen Truong

    Article

    Specification and verification of inter-component constraints in CTL.
  4. 3064

    Non-null references by default in the Java modeling language. by Chalin, Patrice

    Article

    Non-null references by default in the Java modeling language.
  5. 3065

    Specification and design of component-based coordination systems by integrating coordination patterns. by Pérez-Serrano, Pedro L.

    Article

    Specification and design of component-based coordination systems by integrating coordination patterns.
  6. 3066

    Constraint satisfaction techniques for diagnosing errors in design by contract software. by Ceballos, Rafael

    Article

    Constraint satisfaction techniques for diagnosing errors in design by contract software.
  7. 3067

    A categorical characterization for the compositional features of the # component model. by Heron de Carvalho Junior, Francisco

    Article

    A categorical characterization for the compositional features of the # component model.
  8. 3068

    Software product lines structuring based upon market demands. by Ereño, Montse

    Article

    Software product lines structuring based upon market demands.
  9. 3069

    A component-based specification approach for embedded systems using FDTs. by Guerrouat, Abdelaziz

    Article

    A component-based specification approach for embedded systems using FDTs.
  10. 3070

    Automated data verification in a format-free environment. by Collins, Michael

    Article

    Automated data verification in a format-free environment.

Search Tools: