Inquire: Predicate-based use and reuse

Proceedings of 8th Knowledge-Based Software Engineering Conference, KBSE 1993

Volumn , Issue , 1993, Pages 144-151

  Perry, D ^a   Popovich, S ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b Columbia University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; SEMANTICS; SOFTWARE DESIGN; SPECIFICATIONS;

DATA OBJECTS; IN-BUILDING SYSTEMS; INTERFACE SPECIFICATION; MODULE INTERFACES; SEARCH MECHANISM; SEMANTIC DEPENDENCY; SOFTWARE DEVELOPMENT ENVIRONMENT;

FORMAL METHODS;

EID: 84945519416     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/KBSE.1993.341192     Document Type: Conference Paper

References (21)

1. D. G. Belanger, R. J. Brachman, Y. F. Chen, P. T. Devanbu, P. G. Selfridge. "Toward a Software Information System", AT&T Technical Journal, 69:2 ( March/April, 1990). pp 22-41.
2. Y. F. Chen, C. V. Ramamoorthy. "The C Information Abstractor", Proceedings of COMPSAC, October 1986, Chicago II.
3. Premkumar Devanbu, Ronald J. Brachman, Peter Selfridge, Bruce W. Ballard. "LaSSIE-A Knowledge-Based Software Information System", Proceedings of The 12th International Conference on Software Engineering, 26-30 March 1989, Nice, France.
4. W. B. Frakes and P Gandel. "Representing Reusable Software", Information and Software Technology, November 1990.
5. W. B. Frakes and B. A. Nejmeh. "An Information System for Software Reuse", Proceedings of the Tenth Minnowbrook Workshop on Software Reuse, 1987. pp 142-151.
6. J. V. Guttag, J. J. Horning, J. M. Wing. "The Larch family of specification Languages", IEEE Software 2:5 (September 1985). pp 24-36.
7. Charles W. Krueger. "Software Reuse" ACM Computing Surveys 24:2 (June 1992). pp 131-184.
8. Dewayne E. Perry. "Software Interconnection Models", Proceedings of The 9th International Conference on Software Engineering, March 30-April 2, 1987, Monterey CA. pp 61-69.
9. Dewayne E. Perry. "The Inscape Environment", Proceedings of The 11th International Conference on Software Engineering 15-18 May 1989, Pittsburgh PA. pp 2-12.
10. Dewayne E. Perry. "The Logic of Propagation in the Inscape Environment", Proceedings of SIGSOFT '89: The Third Testing Analysis and Verification Symposium, December 1989, Key West FL. Software Engineering Notes 14:8 (December 1989).
11. Dewayne E. Perry and Steven S. Popovich. "Inquire: Predicate-Based Use and Reuse". Specification Driven Tools Conference, AT&T Bell Laboratories, October 1989.
12. Dewayne E. Perry and Carol Stieg. "Software Faults in Evolving a Large, Real-Time System: A Case Study", Proceedings of the European Software Engineering Conference-1993, Garmisch, Germany, September 1993.
13. Dewayne E. Perry and Alexander L. Wolf. "Foundations for a Study of Software Architecture", ACM SIGSOFT Software Engineering Notes 17:4 (October 1992). pp 40-52
14. Ruben Prieto-Diaz. "Classification of Reusable Modules, in Software Reusability. Volume I. Concepts and Models, edited by Ted J. Biggerstaff and Alan J. Perns. New York: ACM Press, 1989. pp 99-123.
15. Mikael Rittri. "Using Types as Search Keys in Function Libraries" FPCA '89. The Fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, 11-13 September 1989. pp 174-183.
16. Eugene J. Rollins and Jeannette M. Wing. "Specifications as search keys for software libraries", Conference on Functional Programming Languages and Computer Architectures, September 1989. pp 174-183.
17. Colin Runciman and Ian Toyn, "Retrieving re-usable software components by polymorphic type". FPCA '89. The Fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, 11-13 September 1989. pp 166-173.
18. P. Selfridge. "Integrating Code Knowledge with a Software Information System". Proceedings of the 5th Annual KBSA Conference, Syracuse, NY, Sept. 1990.
19. Joseph L. Steffen. "Interactive Examination of a C Program with Cscope", USENIX Winter Conference Proceedings, Dallas 1985, pp 170-175.
20. W. Teitelman. The INTERLISP Reference Manual, Bolt, Beranek and Newman, 1974.
21. Amy Moormann Zaremski and Jeannette M. Wing. "Signature Matching: A Key to Reuse", ACM SIGSOFT'93: Foundations of Software Engineering, 1993 (FSE93), Redondo Beach, CA, December 1993.