Container List: Arie Nicolaas (Nico) Habermann Collection

Series IV. Papers

Box 3

FF85 Habermann, A. N.--Papers--Unidentified Paper Draft--n. d.
FF86 Habermann, A. N.--Papers--Het Inwendig Produkt [in Dutch]--1965
FF87 Habermann, A. N.--Papers--On the Harmonious Co-operation of Abstract Machines [thesis]—1967
FF88 Habermann, A. N.--Papers--Two Step program
FF89 Habermann, A. N.--Papers--SPARCX: A Simple Machine Model—1969
FF90 Habermann, A. N.--Papers--Specification of an ALGOL System for the PDP-10--1969
FF91 Habermann, A. N.--Papers--Operating Systems: Prevention of Systems Deadlocks--July 1969
FF92 Habermann, A. N.--Papers--BLISS Reference Manual--Draft--January 1970
FF93 Habermann, A. N.--Papers--BLISS Reference Manual--Revision--January 1970 [1970-1971]
FF94 Habermann, A. N.--Papers--Computer Networks--September-October 1970
FF95 Habermann, A. N.--Papers--Simula 67 Project--Reference Material--1970-1978
FF96 Habermann, A. N.--Papers--An Operating System Modelled as a Set of Interacting Processes--March 1971
FF97 Habermann, A. N.--Papers--An Undergraduate Course on Operating Systems Principles--June 1971
FF98 Habermann, A. N.--Papers--Introduction to ALGOL 60 for Those Who Have Used Other Programming Languages--September 1971
FF99 Habermann, A. N.--Papers--BLISS: A Language for Systems Programming--December 1971
FF100 Habermann, A. N.--Papers--Thoughts that Start and End with the R,W Problem--February 1972
FF101 Habermann, A. N.--Papers--Synchronization of Communicating Processes--March 1972
FF102 Habermann, A. N.--Papers--On a Solution and a Generalization of the Cigarette Smokers’ Problem--August 1972
FF103 Habermann, A. N.--Papers--Parallel Neighbor-Sort--August 1972
FF104 Habermann, A. N.--Papers--Designing and Documenting Operating Systems--May 1973
FF105 Habermann, A. N.--Papers--Program Reduction, and Aid to Verifications of Concurrent Processes--May 1973
FF106 Habermann, A. N.--Papers--Equivalence of Some Deadlock-avoidance Criteria--July 1973
FF107 Habermann, A. N.--Papers--A Spectrum of Deadlock Avoidance Strategies--September 1973
FF108 Habermann, A. N.--Papers--Critical Comments on the Programming Language Pascal--1973 [1973, 1980]
FF109 Habermann, A. N.--Papers--Reference Paper by J. W. de Bakker--1974
FF110 Habermann, A. N.--Papers--Specifications of Process Synchronization by Path Expressions--January 1974
FF111 Habermann, A. N.--Papers--A New Approach to Avoidance of System Deadlocks--April 1974
FF112 Habermann, A. N.--Papers--Academic Presentation for Tenth Anniversary of Computer Science Department--1975
FF113 Habermann, A. N.--Papers--Introduction to ALGOL W for Those Who Have Used Other Programming Languages--1975
FF114 Habermann, A. N.--Papers--Modularization and Hierarchy in a Family of Operating Systems--1975 [1975-1978]
FF115 Habermann, A. N.--Papers--On the Concurrency of Parallel Processes--1975 [1975-1977]
FF116 Habermann, A. N.--Papers--Correctness Proof of a Quadratic-hash Algorithm--March 1975
FF117 Habermann, A. N.--Papers--Path Expressions--June 1975
FF118 Habermann, A. N.--Papers--On the Timing Restrictions of Concurrent Processes--November 1975
FF119 Habermann, A. N.--Papers--On System Design and Maintenance Control--1976
FF120 Habermann, A. N.--Papers--On System Development Control--1976
FF121 Habermann, A. N.--Papers--Toward the Construction of Verifiable Software Systems--January 1976
FF122 Habermann, A. N.--Papers--An Integrated System of Tools for Developing and Maintaining Ada Programs--December 1978
FF123 Habermann, A. N.--Papers--A Software Development Control System--1979
FF124 Habermann, A. N.--Papers--Euclid Language Reference Materials--1979
FF125 Habermann, A. N.--Papers--Implementation of Regular Path Expressions--February 1979
FF126 Habermann, A. N.--Papers--Statement of Interest and Work Related to Software Development--1979
FF127 Habermann, A. N.--Papers--Microprogramming as Operating System Design Tool--March 1979
FF128 Habermann, A. N.--Papers--Tools for Software System Construction--March 1979 [1979-1980]
FF129 Habermann, A. N.--Papers--Efficient Implementation of Ada Tasks--December 1979 [1979-1980]
FF130 Habermann, A. N.--Papers--Well-formed System Compositions--March 1980
FF131 Habermann, A. N.--Papers--System Control and Version Control for Ada --May 1980
FF132 Habermann, A. N.--Papers--Gandalf System Development Environments [folder 1]--1980 [1980-1986]
FF133 Habermann, A. N.--Papers--Gandalf System Development Environments [folder 2]--1980 [1980-1986]
FF134 Habermann, A. N.--Papers--System Composition and version Control for Ada--May 1980 [1980-1986]
FF135 Habermann, A. N.--Papers--Use of Ada Packages--November 1980 [1980-1982]
FF136 Habermann, A. N.--Papers--Address Space Management in the DAS Operating System--1981
FF137 Habermann, A. N.--Papers--Language Issues in Functional Programming--March 1981
FF138 Habermann, A. N.--Papers--A Compendium of Gandalf Documentation--April 1981
FF139 Habermann, A. N.--Papers--Programmatics and its Language Alfa [folder 1] --October 1981 [1981-1983]
FF140 Habermann, A. N.--Papers--Programmatics and its Language Alfa [folder 2]--October 1981 [1981-1983]
FF141 Habermann, A. N.--Papers--Programmatics and its Language Alfa [folder 3]--October 1981 [1981-1983]
FF142 Habermann, A. N.--Papers--Programmatics and its Language Alfa [folder 4]--October 1981 [1981-1983]
FF143 Habermann, A. N.--Papers--An Environment for System Version Control--December 1981 [1981-1983]
FF144 Habermann, A. N.--Papers--Second Compendium of Gandalf Documentation--May 1982
FF145 Habermann, A. N.--Papers--Deriving Efficient Graph Algorithms--December 1982
FF146 Habermann, A. N.--Papers--Automatic Deletion of Obsolete Information--1985
FF147 Habermann, A. N.--Papers--A Flexible Modular Environment for Programming Languages--March 1985
FF148 Habermann, A. N.--Papers--Software Engineering Today--May 1985
FF149 Habermann, A. N.--Papers--A Brief Comparison Between Ada and Unix + C--June 1985
FF150 Habermann, A. N.--Papers--Technological Advances in Software Engineering--August 1985 [1985-1986]

Box 4

FF151 Habermann, A. N.--Papers--Software Engineering Institute: Bridging Practice and Potential--November 1985
FF152 Habermann, A. N.--Papers--Environment for the Software Engineer--January 1986
FF153 Habermann, A. N.--Papers--A Functional Environment for Reusable Programs [report for Angel Jordan]--Spring 1986
FF154 Habermann, A. N.--Papers--Automation of the Generation of Programming Environments--Spring 1986
FF155 Habermann, A. N.--Papers--Preliminary Evaluation of the Ada Language System--March 1986
FF156 Habermann, A. N.--Papers--A Quick Overview of the Gandalf System--April 1986
FF157 Habermann, A. N.--Papers--A Number Problem and its Solution--October 1986
FF158 Habermann, A. N.--Papers--A Short History of the Gandalf Project--August 1986 [1986-1987]
FF159 Habermann, A. N.--Papers--A Short History of the Gandalf Project--German Translation--October 1986 [1986-1989]
FF160 Habermann, A. N.--Papers--A Methodology and Criteria for Evaluating Environments--December 1986 [1986-1988]
FF161 Habermann, A. N.--Papers--CMU Research Review Preface--1987
FF162 Habermann, A. N.--Papers--The Software Engineering Institute at CMU--1987
FF163 Habermann, A. N.--Papers--Trends in Software Development Environments--1987
FF164 Habermann, A. N.--Papers--Vocal Software Reference Material--January 1987
FF165 Habermann, A. N.--Papers--Thoughts on Teaching Computer Science--May-June 1987
FF166 Habermann, A. N.--Papers--A Comparison of Optimizing Compilers--June 1987
FF167 Habermann, A. N.--Papers--Research in Programming Environment Design [for Tom Wheeler]--June 1987
FF168 Habermann, A. N.--Papers--A Software Development Methodology Based on Reusability and Automation [for Sera Amoroso]--1988
FF169 Habermann, A. N.--Papers--Faceted Multiple Inheritance: Make That a BUD Light--1988--April 1988
FF170 Habermann, A. N.--Papers--Scaling Up Integrated Software Developments--April 1988
FF171 Habermann, A. N.--Papers--Apropos Language Design--August 1988 [August, November 1988]
FF172 Habermann, A. N.--Papers--Engineering Large, Knowledge-based Systems [Spain paper, October 1988]--September 1988 [1988-1989]
FF173 Habermann, A. N.--Papers--Programming Environments for Reusability [for conference in Utrecht, October 1988]--September 1988
FF174 Habermann, A. N.--Papers--Linear-A Language Design [folder 1]--November 1988 [1988-1990]
FF175 Habermann, A. N.--Papers--Linear-A Language Design [folder 2]--November 1988 [1988-1990]
FF176 Habermann, A. N.--Papers--Linear-A Language Design [folder 3]--November 1988 [1988-1990]
FF177 Habermann, A. N.--Papers--Linear-A Language Design [folder 4]--November 1988 [1988-1990]
FF178 Habermann, A. N.--Papers--Computer Science: Science or Engineering?--Notes--1989
FF179 Habermann, A. N.--Papers--CMU Research Review Preface--1989
FF180 Habermann, A. N.--Papers--Notes on THE System--1989
FF181 Habermann, A. N.--Papers--Rotate and Double--Edsger Dijkstra Celebration--September 1989 [1989-1990]
FF182 Habermann, A. N.--Papers--Rebuttal to Dijkstra’s On the Cruelty of Teaching Computer Science--December 1989 [1989-1990]
FF183 Habermann, A. N.--Papers--Introductory Education in Computer Science--May 1990 [1990-1991]
FF184 Habermann, A. N.--Papers--Beyond Schema Evolution to Database Reorganization--October 1990
FF185 Habermann, A. N.--Papers--Generation of Integrated Task-specific Software Environments--1991 [1989-1991]
FF186 Habermann, A. N.--Papers--Gandalf Monograph Contribution--January 1991
FF187 Habermann, A. N.--Papers--Software Engineering Practice, Research and Education [for Siemens ZTE Tenth Anniversary]--March 1991
FF188 Habermann, A. N.--Papers--Case Loops--July 1991
FF189 Habermann, A. N.--Papers--Ada and Beyond--August 1991
FF190 Habermann, A. N.--Papers--Future Directions in Software Engineering--February 1992

< Back to Habermann Finding Aid

< Previous Series | Next Series >