Paul Adams, Marvin Solomon  Home/Search
Context Related
| wisc.edu/~solomon/capitl.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisc.edu/~solomon/solomon (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . 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... (Update)
Context of citations to this paper: More
...of the goals that we have outlined. One could also put these manipulations under control of a sophisticated system like CAPITL [Adams and Solomon 1993]. CM uses the same techniques internally, but provides a simple declarative specification language as an interface to these...
.... programming environments that are based on Prolog and offer object oriented abstractions and mechanisms are OBSERV [190] and CAPITL [1]. OBSERV is a prototyping environment able to support and integrate different operational specification formalisms. CAPITL (that stands for...
Cited by: More
The Adele Configuration Manager - Estublier, Casallas (1994) (Correct)
Unified Versioning through Feature Logic - Zeller, Snelting (1997) (Correct)
Hierarchical Modularity - Blume, Appel (1998) (Correct)
Similar documents (at the sentence level):
69.3%: An Overview of the CAPITL Software Development Environment - Paul Adams (1995) (Correct)
Active bibliography (related documents): More All
0.5: Applications of Logic Programming in Software Engineering - Ciancarini, Levi (1995) (Correct)
0.5: Building Software by Deduction: Why and How - Singleton, Brereton (1992) (Correct)
0.4: Hierarchical Modularity And Intermodule Optimization - Blume (1997) (Correct)
Similar documents based on text: More All
0.2: Measurements of WLS fibres - Di Girolamo (1995) (Correct)
0.2: An Object-Oriented Visual Dataflow Language - Zhang, Lei, Zhang (Correct)
0.2: Polarized and Focalized Linear and Classical Proofs - Olivier Laurent Iml-Cnrs (2000) (Correct)
Related documents from co-citation: More All
8: Make--a program for maintaining computer programs - Feldman - 1979
6: An Introduction to Graph-Based Modeling Systems (context) - Jones - 1990
5: Feature-constrained logics for unification grammars (context) - Smolka - 1992
BibTeX entry: (Update)
P. Adams and M. Solomon. An Overview of the CAPITL Software Development Environment. Software Configuration Management: ICSE SCM-4 and SCM5 Workshops Selected Papers. Published as Lecture Notes in Computer Science, 1005:1--34. Springer Verlag, Berlin, 1995. http://citeseer.ist.psu.edu/article/adams95overview.html More
@inproceedings{ adams95overview,
author = "Paul Adams and Marvin Solomon",
title = "An Overview of the {CAPITL} Software Development Environment",
booktitle = "{Software Configuration Management: Selected Papers of the {ICSE} {SCM}-4 and {SCM}-5 Workshops}",
number = "1005",
publisher = "Springer-Verlag",
editor = "Jacky Estublier",
pages = "1--34",
year = "1995",
url = "citeseer.ist.psu.edu/article/adams95overview.html" }
Citations (may not include all citations):380 Design and implementation of the sun network filesystem - Sandberg, Goldberg et al. - 1985
296 Free Software Foundation (context) - Stallman, McGrath - 1990
271 YACC---yet another compiler compiler - Johnson - 1975
228 Shoring up persistent applications - DeWitt, Franklin et al. - 1994
202 Make---a program for maintaining computer programs - Feldman - 1979
177 Software---Practice and Experience (context) - Tichy, for et al. - 1985
149 Composing user interfaces with interviews - Linton, Vlissides et al. - 1989
149 Tcl: An embeddable command language - Ousterhout - 1990
149 Tcl: an embeddable command language - Ousterhout - 1990
132 Lex---a lexical analyzer generator (context) - Lesk - 1975
119 LOGIN: a logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986
106 The EXODUS extensible DBMS project: an overview - Carey, DeWitt et al. - 1990
103 ACM Transactions on Graphics (context) - Scheifler, Gettys et al. - 1983
68 Unification: a multidisciplinary survey (context) - Knight - 1989
53 Tools for software configuration management (context) - Tichy - 1988
51 toolkit based on the tcl language (context) - Ousterhout - 1991
48 Computer-aided software engineering in a distributed worksta.. (context) - Leblang, Chase - 1984
39 An Algebraic Semantics Approach to the Effective Resolution .. (context) - Ait-Kaci - 1986
33 Making data structures persistent (context) - Driscol, Sarnak et al. - 1989
29 The vesta approach to precise configuration of large softwar.. - Levin, McJones - 1993
28 An architecture for intelligent assistance in software devel.. (context) - Kaiser, Feiler - 1987
21 Configuration management for large-scale software developmen.. (context) - Leblang, McLean - 1985
19 Adele 2: A support to large software development process (context) - Belkhatir, Estublier et al. - 1991
18 An integrated toolset for engineering software configuration.. - Mahler, Lampen - 1989
16 The vesta language for configuration management - Hanna, Levin - 1993
15 Organizing software in a distributed environment (context) - Lampson, Schmidt - 1983
14 A configuration manager: the ADELE database of programs (context) - Estublier - 1985
13 ACM Transactions on Programming Languages and Systems (context) - Richardson, Carey et al. - 1993
10 Generic Software Configuration Management: Theory and Design (context) - Wiebe - 1990
10 Bridges: Tools to extend the vesta configuration management .. - Brown, Ellis - 1993
10 Shape---a software configuration management tool - Mahler, Lampen - 1988
9 Configuration management: the notion and the tools (context) - Estublier - 1988
7 The vesta repository: A file system extension for software d.. (context) - Chiu, Levin - 1993
6 A logic-based approach to system modelling (context) - Rich, Solomon - 1991
5 ACM Transactions on Programming Languages and Systems (context) - Clemm, Osterweil et al. - 1990
5 Using prolog for software system maintenance (context) - Kielmann - 1992
5 Preliminary experience with a configuration control system (context) - Estublier, Ghoul et al.
4 Fall of the American Programmer (context) - Yourdon - 1993
4 Configuration management with feature logics - Zeller - 1994
4 Granularity issues in a knowledge-based programming environm.. (context) - Kaiser, Feiler - 1986
4 Tichy and Mark C (context) - Walter - 1985
3 Enhancing configuration facilities in software development: .. (context) - Asirelli, Inverardi - 1987
3 A rule-based process server component for constructing rule-.. (context) - Kaiser - 1991
2 Managing change in software development through process prog.. (context) - Sutton, Dennis et al. - 1991
2 POL: Persistent objects with logic (context) - Adams, Solomon - 1993
2 Logic-Based System Modelling (context) - Rich - 1991
2 MARVEL: Two approaches to knowledgebased programming environ.. (context) - Kaiser, Feiler - 1986
2 EFS: the extensible file system (context) - Solomon - 1993
1 preprocessor interface to the make utility (context) - Brunhoff, Fulton
1 document number 3000002 -a edition (context) - Software, MA et al. - 1992
1 Dmake---maintain program groups (context) - Vadura - 1992
1 Finding out what goes on in a software development organizat.. (context) - Perry, Staudenmayer et al. - 1993
1 Introduction to CaseWare/CM (context) - Inc, CA - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.wisc.edu/~solomon/solomon.html): More
Matchmaking: Distributed Resource Management for High.. - Raman, Livny, Solomon (1998) (Correct)
The GMAP: A Versatile Tool for Physical Data Independence - Tsatalos (1994) (Correct)
Vclusters: A Flexible, Fine-Grained Object Clustering.. - McAuliffe, Carey, Solomon (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC