ENCOMPASS
Subtitle: an environment for incremental software development using executable, logic-based specifications
By: by Robert Barden Terwilliger.
Series: Report ;; no UIUCDCS-R-87-1356; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; no. UIUCDCS-R-87-1356.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1987
Place of publication: Urbana, Ill
Language: eng
Number of pages: 178
Subjects: Computer software -- Development.; Logic programming.
Other titles: ENCOMPASS.
Notes: Bibliography: p. 162-177.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1987.
"UILU-ENG-87-1743"--Cover.