An Overview of the CAPITL Software Development Environment

The CAPITL programming environment is comprised of a shared, object-oriented, versioned database, an embedded logic-based data-manipulation language, and a graphical user interface. With each software object the database stores a rich set of attributes that describe its syntax, intended semantics, and relationship to other objects. CAPITL is implemented in POL, a data model and deductive query language with elements of persistent, object-oriented and logic-based programming languages. POL is implemented in and tightly coupled with C++.

[1]  Noureddine Belkhatir,et al.  Adele 2: a support to large software development process , 1991 .

[2]  Dennis Heimbigner,et al.  Managing Change in Software Development Through Process Programming , 1991 .

[3]  Walter F. Tichy,et al.  Rcs — a system for version control , 1985, Softw. Pract. Exp..

[4]  Edward Yourdon.  Decline and Fall of the American Programmer , 1992 .

[5]  Thilo Kielmann.  Using Prolog for Software System Maintenance , 1992 .

[6]  Jacky Estublier,et al.  A Support to Large Software Development Process , 1991, Proceedings. First International Conference on the Software Process,.

[7]  Robert E. Tarjan,et al.  Making data structures persistent , 1986, STOC '86.

[8]  Paul R. Calder,et al.  Composing user interfaces with InterViews , 1989, Computer.

[9]  David J. DeWitt,et al.  Shoring up persistent applications , 1994, SIGMOD '94.

[10]  Michael J. Carey,et al.  The design of the E programming language , 1993, TOPL.

[11]  E. Schmidt,et al.  Lex—a lexical analyzer generator , 1990 .

[12]  Paola Inverardi,et al.  Enhancing Configuration Facilities in Software Development: A Logic Approach , 1987, ESEC.

[13]  Stuart I. Feldman,et al.  Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..

[14]  Takuya Katayama,et al.  Proceedings of the 15th international conference on Software Engineering , 1982, ICSE 1993.

[15]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[16]  Scott A. Smolka.  Report on the 6th international symposium on programming , 1984, SIGP.

[17]  S. Krakowiak,et al.  Preliminary experience with a configuration control system for modular programs , 1984 .

[18]  A. Zeller,et al.  Configuration Management with Feature Logics , 1994 .

[19]  John K. Ousterhout,et al.  An X11 Toolkit Based on the Tcl Language , 1991, USENIX Winter.

[20]  Leon J. Osterweil,et al.  A mechanism for environment integration , 1990, TOPL.

[21]  Butler W. Lampson,et al.  Organizing software in a distributed environment , 1983, ACM SIGPLAN Notices.

[22]  Dan Walsh,et al.  Design and implementation of the Sun network filesystem , 1985, USENIX Conference Proceedings.

[23]  Robert W. Taylor.  Bridges: Tools to Extend the Vesta Configuration Management System , 1993 .

[24]  Gail E. Kaiser.  A Rule-based Process Server Component For Constructing Rule-based Development Environments , 1991, Proceedings of the 7th International Software Process Workshop, Communication and Coordination in the Software Process'.

[25]  Gail E. Kaiser,et al.  SMILE/ MARVEL: Two Approaches to Knowledge-Based Programming Environments , 1986 .

[26]  Anthony Gabriel Rich.  Logic-based system modelling , 1991 .

[27]  Gail E. Kaiser,et al.  Granularity issues in a knowledge-based programming environment , 1987 .

[28]  Roy Levin,et al.  The Vesta Approach to Precise Configuration of Large Software Systems , 1993 .

[29]  Walter F. Tichy,et al.  Smart recompilation , 1986, TOPL.

[30]  John K. Ousterhout,et al.  Tcl: An Embeddable Command Language , 1989, USENIX Winter.

[31]  Sacha Krakowiak,et al.  Preliminary experience with a configuration control system for modular programs , 1984, SDE 1.

[32]  David B. Leblang,et al.  Computer-Aided Software Engineering in a distributed workstation environment , 1984 .

[33]  David J. DeWitt,et al.  The EXODUS Extensible DBMS Project: An Overview , 1989 .

[34]  Axel Mahler,et al.  An integrated toolset for engineering software configurations , 1988, SDE 3.

[35]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[36]  Kevin Knight,et al.  Unification: a multidisciplinary survey , 1989, CSUR.

[37]  Axel Mahler,et al.  shape - A Software Configuration Management Tool , 1988, SCM.

[38]  Walter F. Tichy,et al.  Tools for Software Configuration Management , 1988, SCM.

[39]  Hassan Aït-Kaci,et al.  An Algebraic Semantics Approach to the Effective Resolution of Type Equations , 1986, Theor. Comput. Sci..

[40]  B. Lampson,et al.  Organizing software in a distributed environment , 1983, SIGPLAN '83.

[41]  Walter F. Tichy,et al.  Smart Recompilation , 1985, POPL.

[42]  Marvin H. Solomon,et al.  A logic-based approach to system modelling , 1991, SCM '91.

[43]  Douglas Wiebe.  Generic software configuration management: theory and design , 1990 .

[44]  David B. Leblang,et al.  Computer-Aided Software Engineering in a distributed workstation environment , 1984, SDE 1.

[45]  Roy Levin,et al.  The Vesta Repository: A File System Extension for Software Development , 1993 .

[46]  Gail E. Kaiser,et al.  An architecture for intelligent assistance in software development , 1987, ICSE '87.