A logic-based approach to system modelling

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A logic-based approach to system modelling

Full text

Pdf (1,000 KB)

Source

Software Configuration Management Workshop archive
Proceedings of the 3rd international workshop on Software configuration management table of contents

Trondheim, Norway

Pages: 84 - 93

Year of Publication: 1991

ISBN:0-897914-429-5

Authors

Anthony Rich	University of Wisconsin-Madison
Marvin Solomon	University of Wisconsin-Madison

Sponsors

IEEE : Institute of Electrical and Electronics Engineers
SIGSOFT: ACM Special Interest Group on Software Engineering
German Comp Soc : GI - Gesellshaft for Informatik

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 9, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/111062.111073 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.

	Aït-Kaci 86	H Aït-Kaci , R Nasr, Login: A logic programming language with built-in inheritance, Journal of Logic Programming, v.3 n.3, p.185-215, Oct. 1986 [doi>10.1016/0743-1066(86)90013-0]
	Aït-Kaci 88a	Aft-Kaci, Hassan, and Patrick Lincoln, "LIFE: A Natural Language for Natural Lartguage:' MCC Tech. Reprt ACA-ST- 074-88, MCC, ACA Program, Systems Technology Laboratory, 3500 West Balcones Center Drive, Austin, TX 78759 (February 1988).
	Aït-Kaci 88b	kit-Kaci, Hassan, and Patrick Lmcolrt, "LIFEs Rich Tapestry A User Manual and Reference Guide to the LIFE Progr ammirtg Language," MCC Tech. Report ACA-ST-408- 88, MCC, ACA Program, Systems Technology Laboratory, 3500 West B alcones Center Drive, Austin, TX 78759 (February 1988).
	Apollo 84	DOMAIN Softwme Engineering Environment (DSEE) Reference, Apollo Computer Inc., 330 Billerica Road, Chehnsford, MA 01824 (1984).
	Apollo 86	Engineering in the DSEE Environment, Apollo Computer Inc., 330 Billerica Road, Chelrnsford, MA 01824 (1986).
	Aristotle 357 B.C.	Aristotle, Metaphysics, ca. 357 B.C.
	Bentley 87	Jon Bentley, Programming pearls: self-describing data, Communications of the ACM, v.30 n.6, p.479-483, June 1987 [doi>10.1145/214762.315733]
	Carey 90	M. J. Carey , David J. DeWitt , G. Graefe , D. M. Haight , J. E. Richardson , D. T. Schuh , E. J. Shekita , S. L. Vandenberg, The EXODUS extensible DBMS project: an overview, Readings in object-oriented database systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1989
	Clemm 84	Clemrn, Geoffrey M., "ODIN - An Extensible Software Environment: Report and User's Reference Manual", Tech. Report CU-CS-262-84, Department of Computer Science, University of Colorado, Boulder, CO 80309 (March 1984, rev. December 1984),
	Clemm 86	Clernm, Geoffrey, and Leon Osterweil, "A Mechanism for Environment Integration', Tech. Report CU-CS-323-86, Department of Computer Science, University of Colorado, Boulder, CO 80309 (April 1986) .{Clemtn 88} Clemm, Geoffrey M, "The Odin Specification Language", Proceedings of the International Workshop on Software Version and Configuration Control, (Grassau, W. Germany, January 27-29, 1988), B,G. Teubner, Stuttgar& W. Germany, pp. 144-158 (1988).
	Clemm 90	Geoffrey Clemm , Leon Osterweil, A mechanism for environment integration, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.1-25, Jan. 1990 [doi>10.1145/77606.77607]
	Clocksin 84	W F. Clocksin , Christopher S. Mellish, Programming in Prolog (2nd ed.), Springer-Verlag New York, Inc., New York, NY, 1984
	Feldman 79	Feldman, S. I., "Make-A Program for Maintaining Computer Programs, " Software-Practice and Experience, 9(4), pp. 255-265 (April 1979).
	Kaiser 86a	Kaiser, Gail, and Peter H. Feiler, "SMILE/MARVEL. Two Approaches to Knowledge-Based Programming Environments, " Tech. Report CU-CS-227-86, Department of Computer Science, Columbia University, New York, NY 10027 (October 1986).
	Kaiser 86b	Kaiser, Gail, and Peter H. Feiler, "Granularity Jssues in a Knowledge-Based Programming Environment," 2nd Kansas Conference on Knowledge-Based Software Development, Manhattan, KA (October 1986),
	Kaiser 87	G. E. Kaiser , P. H. Feiler, An architecture for intelligent assistance in software development, Proceedings of the 9th international conference on Software Engineering, p.180-188, March 1987, Monterey, California, United States
	Leblang 84	David B. Leblang , Robert P. Chase, Jr., Computer-Aided Software Engineering in a distributed workstation environment, ACM SIGPLAN Notices, v.19 n.5, p.104-112, May 1984
	Leblang 85	Leblartg, David B., and Gordon D. McLean, Jr,, 'Configuration Management for Large-Scale Software Development Efforts,' Proceedings of the Workshop on Sojlware Engineering Environments for Programming-in-the- Large, GTE Laboratories, Harwichport, MA, pp. 122- 127 (June 1985).
	Minsky 88	Naftaly H. Minsky , David Rozenshtein, A software development environment for law-governed systems, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.65-75, November 1988
	Reps 90	T. Reps, Algebraic properties of program integration, Proceedings of the third European symposium on programming on ESOP '90, p.326-340, May 1990, Copenhagen, Denmark
	Solomon91	Marvin Solomon, "An Overview of the CAPITL Programming Environment," in preparation (1991).
	Stroustrup86	Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	Wiebe 88	Wiebe, Douglas, "Partial Instantiation: A Data Model for Versioning Software Databases,' Tech. Report 88-04- 04, Department of Computer Science, University of Washington, Seattle, WA 98195 (April 1988).
	Zloof 77	M. M. ZIoof, 'Query-by-Example: A Data Base Ltmguage," IBM Systems Journal 16(4), pp. 324-343 (1977).

CITED BY 2

	Reidar Conradi , Bernhard Westfechtel, Version models for software configuration management, ACM Computing Surveys (CSUR), v.30 n.2, p.232-282, June 1998
	Andreas Zeller, A unified version model for configuration management, ACM SIGSOFT Software Engineering Notes, v.20 n.4, p.151-160, Oct. 1995