The Software Development Environment as a Knowledge Base Management System

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 411-442
https://doi.org/10.1007/978-3-642-83397-7_19

Abstract

No abstract available

Keywords

SOFTWARE DEVELOPMENT ENVIRONMENT

This publication has 25 references indexed in Scilit:

An assumption-based TMS
Artificial Intelligence, 1986
Knowledge representation in the software development process: A case study
Published by Springer Nature ,1986
Predicative programming Part I
Communications of the ACM, 1984
Prototyping: The New Paradigm for Systems Development
MIS Quarterly, 1982
Dialogue and process design for interactive information systems using Taxis
ACM SIGOA Newsletter, 1982
A language facility for designing database-intensive applications
ACM Transactions on Database Systems, 1980
A truth maintenance system
Artificial Intelligence, 1979
Some high level language constructs for data of type relation
ACM Transactions on Database Systems, 1977
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM, 1975
An axiomatic basis for computer programming
Communications of the ACM, 1969