Showing 14,761 - 14,770 results of 15,302 for search '"Engineering."', query time: 0.05s Refine Results
  1. 14761

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

    Article

    A specification-based approach to reasoning about pointers.
  2. 14762

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

    Article

    Specification and verification of inter-component constraints in CTL.
  3. 14763

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

    Article

    Non-null references by default in the Java modeling language.
  4. 14764

    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.
  5. 14765

    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.
  6. 14766

    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.
  7. 14767

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

    Article

    Software product lines structuring based upon market demands.
  8. 14768

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

    Article

    A component-based specification approach for embedded systems using FDTs.
  9. 14769

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

    Article

    Automated data verification in a format-free environment.
  10. 14770

    Review of "Just Enough Requirements Management Where Software Development Meets Marketing. by Saur, Joe

    Article

    Review of "Just Enough Requirements Management Where Software Development Meets Marketing.

Search Tools: