Now showing items 1-2 of 2

    • Cross, James Henry (Texas A&M University. Libraries, 1986)
      The research reported herein involved the design and automation of the Control Structure Diagram (CSD), a graphical stepwise refinement tool for use in the development and maintenance of software written in block-structured ...
    • Tanik, Murat Mehmet (Texas A&M University. Libraries, 1978)
      A deadlock prevention model is developed. In the process, a relationship between two seemingly unrelated problems and their relevance to deadlock prevention problem is demonstrated. These problems are Dijkstra's n-philosophers ...