ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications
Full text PdfPdf (96 KB)
Source ACM Annual Computer Science Conference archive
Proceedings of the 1986 ACM fourteenth annual conference on Computer science table of contents
Cincinnati, Ohio, United States
Page: 470  
Year of Publication: 1986
ISBN:0-89791-177-6
Authors
Robert B. Terwilliger  Department of Computer Science, University of Illinois at Urbana-Champaign, 252 Digital Computer Laboratory, 1304 West Springfield Avenue, Urbana, IL
Roy H. Campbell  Department of Computer Science, University of Illinois at Urbana-Champaign, 252 Digital Computer Laboratory, 1304 West Springfield Avenue, Urbana, IL
Sponsor
ACM: Association for Computing Machinery
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 0,   Downloads (12 Months): 2,   Citation Count: 1
Additional Information:

references   cited by   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/324634.325268
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

1
Roy H. Campbell , Peter A. Kirslis, The SAGA project: A system for software development, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.73-80, April 1984
 
2
Kirslis, Peter A., Robert B. Terwi!liger and Roy H. Campbell. The SAGA Approach to Large Program Development in an {nte~rated Modnlar Environment. Proceedings of the GTE Workshop on Software Engineering Environments for Programming-in-the-Large (June 1985).
 
3
Terwilligcr, Robert B. and Roy H. Campbell. ENCOM- PASS': a SAGA Based Environment for the Composition of Programs and SpeciJications. Proceedings of the ltlth Hawaii International Conference on System Science (January 1986).
4
Robert B. Terwilliger , Roy H. Campbell, PLEASE:Predictable Logic based ExecutAble SpeCifications, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.349-358, February 1986, Cincinnati, Ohio, United States  [doi>10.1145/324634.325453]

CITED BY
Robert B. Terwilliger, An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification, ACM SIGSOFT Software Engineering Notes, v.15 n.1, p.93-94, Jan 1990
Collaborative Colleagues:
Robert B. Terwilliger: colleagues
Roy H. Campbell: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player