Showing 671 - 680 results of 736 for search '"Software engineer."', query time: 0.02s Refine Results
  1. 671

    Advances in dataflow programming languages. by Johnston, Wesley M.

    Published in ACM computing surveys.
    Article

    Advances in dataflow programming languages.
  2. 672

    Formal methods state of the art and future directions. by Clarke, Edmund M.

    Published in ACM computing surveys.
    Article

    Formal methods state of the art and future directions.
  3. 673

    Trustworthy 100-year digital objects Evidence after every witness is dead. by Gladney, Henry M.

    Article

    Trustworthy 100-year digital objects Evidence after every witness is dead.
  4. 674

    Improved implementations of binary universal operations. by Attiya, Hagit

    Published in Journal of the ACM
    Article

    Improved implementations of binary universal operations.
  5. 675

    Object oriented framework development. by Markiewicz, Marcus Eduardo

    Article

    Object oriented framework development.
  6. 676

    Extracting semantic metadata and its visualization. by Lee, Dongwon

    Article

    Extracting semantic metadata and its visualization.
  7. 677

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

    Article

    Classboxes an experiment in modeling compositional abstractions using explicit contexts.
  8. 678

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

    Article

    A specification-based approach to reasoning about pointers.
  9. 679

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

    Article

    Specification and verification of inter-component constraints in CTL.
  10. 680

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

    Article

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

Search Tools: