Abstract
CHI is an integrated environment of knowledge-based tools <201> that assist with various aspects of the process of building computing systems. These tools include: a very-high-level, wide spectrum language named V used to express not only software specifications but also programming knowledge; a program transformation component and a set of rules (in V) for program synthesis, including data structure generation; a constraint maintenance system; and a program/knowledge editor and debugger. Designed but not yet fully implemented for the CHI system are: support for project management and integrated communication facilities for documentation, bug reports, message sending, etc.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Green. C. and Westfold. S. Knowledge-Based Programming Self-Applied. In Hayes. P.. Michie. D. and Pac. Y-H. (editors). Machine Intelligence 10,. Ellis Horwood Ltd. Halsted Press. 1982. Also available as Technical Report KES.U.81.4, Kestrel Institute, Palo Alto, CA. March 1981.
Kedzierski, B. Communication and Management Support in System Development Environments. Technical Report KES.U.82.3. Kestrel Institute. 1982. Also appeared in Proceedings of the Conference on Human Factors in Computer Systems. Gaithersburg. Maryland. March 1982.
Phillips, J. Self-Described Programming Environments: An Application of a Theory of Design to Programming Systems. PhD thesis. Stanford University. 1983, Also available as Technical Report KES.U.83. 1. Kestrel Institute. Palo Alto. CA. February 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bundy, A., Wallen, L. (1984). CHI. In: Bundy, A., Wallen, L. (eds) Catalogue of Artificial Intelligence Tools. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96868-6_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-96868-6_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13938-6
Online ISBN: 978-3-642-96868-6
eBook Packages: Springer Book Archive