LaSSIE

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

LaSSIE: a knowledge-based software information system

Full text

Pdf (11.40 MB)

Source

Communications of the ACM archive
Volume 34 , Issue 5 (May 1991) table of contents
Special issue on software engineering

Pages: 34 - 49

Year of Publication: 1991

ISSN:0001-0782

Authors

Prem Devanbu	AT&T Bell Labs, Murray Hill, NJ
Ron Brachman	AT&T Bell Labs, Murray Hill, NJ
Peter G. Selfridge	AT&T Bell Labs, Murray Hill, NJ

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 94, Citation Count: 73

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions 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/103167.103172 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.

	1	Beth Adelson , Elliot Soloway, The role of domain experience in software design, IEEE Transactions on Software Engineering, v.11 n.11, p.1351-1360, Nov. 1985 [doi>10.1109/TSE.1985.231883]
	2	G. Arango, Domain analysis: from art form to engineering discipline, Proceedings of the 5th international workshop on Software specification and design, p.152-159, April 1989, Pittsburgh, Pennsylvania, United States
	3	AT&T Technical Journal 64, 1 (Jan. 1985), Part 2. Special Issue on the System 75 Digital Communications System.
	4	Bruce W. Ballard, A lexical, syntactic, and semantic framework for TELI: a user customized natural language processor, Relational models of the lexicon, Cambridge University Press, New York, NY, 1989
	5	Howard W. Beck , Sunit K. Gala , Shamkant B. Navathe, Classification as a Query Processing Technique in the CANDIDE Semantic Data Model, Proceedings of the Fifth International Conference on Data Engineering, p.572-581, February 06-10, 1989
	6	Bellin, S. Personal Communication.
	7	Biggerstaff, T.J. Design recovery for maintenance and reuse. MCC Tech. Rep. STP-378-88, Austin, Tex., 1988.
	8	Alexander Borgida , Ronald J. Brachman , Deborah L. McGuinness , Lori Alperin Resnick, CLASSIC: a structural data model for objects, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.58-67, June 1989, Portland, Oregon, United States
	9	Brachman, R. and Devanbu, P. Domain modeling in a software information system. In Proceedings of OOPSLA Workshop on Domain Modeling in Software Engineering (New Orleans, La., 1989).
	10	Ronald J. Brachman , Hector J. Levesque , Raymond Reiter, Knowledge representation, Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 1991
	11	Frederick P. Brooks, Jr., No silver bullet: essence and accidents of software engineering, Computer, v.20 n.4, p.10-19, April 1987 [doi>10.1109/MC.1987.1663532]
	12	Yih-Farn Chen , Michael Y. Nishimoto , C. V. Ramamoorthy, The C Information Abstraction System, IEEE Transactions on Software Engineering, v.16 n.3, p.325-334, March 1990 [doi>10.1109/32.48940]
	13	B. Curtis, Cognitive issues in reusing software artifacts, Software reusability: vol. 2, applications and experience, ACM Press, New York, NY, 1989 [doi>10.1145/75722.75735]
	14	Bill Curtis , Herb Krasner , Neil Iscoe, A field study of the software design process for large systems, Communications of the ACM, v.31 n.11, p.1268-1287, Nov. 1988 [doi>10.1145/50087.50089]
	15	Devanbu, P. and Litman, D. Planbased terminological reasoning. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (Boston, Mass., 1991).
	16	Devanbu, P., Brachman, R., and Selfridge, P. Inference in support ot retrieval tor reuse in large software systems. In Proceedings of the IEEE/SPS Workshop on Software Reuse (Indialantic, Fla., 1989).
	17	Doyle, J. and Patil, R.S. Language restrictions, taxonomic classification, and the utility of representation services. MIT/LCS/Tech. Mere. 387, 1989.
	18	D. W. Embley , S. N. Woodfield, A knowledge structure for reusing abstract data types, Proceedings of the 9th international conference on Software Engineering, p.360-368, March 1987, Monterey, California, United States
	19	Gerhard Fischer , Matthias Schneider, Knowledge-based communication processes in software engineering, Proceedings of the 7th international conference on Software engineering, p.358-368, March 26-29, 1984, Orlando, Florida, United States
	20	W. B. Frakes , B. A. Nejmeh, An information system for software reuse, Software reuse: emerging technology, IEEE Computer Society Press, Los Alamitos, CA, 1988
	21	Ellis Horowitz , Ronald Williamson, SODOS—a software documentation support environment: its use, Proceedings of the 8th international conference on Software engineering, p.8-14, August 28-30, 1985, London, England
	22	Karen E. Huff, Software process instantiation and the planning paradigm, Proceedings of the 5th international software process workshop on Experience with software process models, p.71-73, October 10-13, 1989, Kennebunkport, Maine, United States
	23	Johnson, W. and Soloway, E PROUST: Knowledge-based program understanding. IEEE Trans. Softw. Eng. (Mar. 1981).
	24	Stanley Ian Letovsky, Plan analysis of programs, 1988
	25	Stanley Letovsky, Cognitive processes in program comprehension, Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers, p.58-79, June 1986, Washington, D.C., United States
	26	Stanley Letovsky , Jeannine Pinto , Robin Lampert , Elliot Soloway, A cognitive analysis of a code inspection, Empirical studies of programmers: second workshop, Ablex Publishing Corp., Norwood, NJ, 1987
	27	Levesque, H.J. and Brachman, R.J. Expressiveness and tractability in knowledge representation and reasoning. Comput. Intelt. 3 (1987), 78- 93.
	28	Modica, I.. Personal Communication, i989.
	29	James Milne Neighbors, Software construction using components, 1980
	30	Ostertag, E. and Hendler, J.A. AIRS: An AI-based Ada reuse system. Tech. Rep. CS-TR 2197, Computer Science Center, University of" Maryland, 1987.
	31	Parnas, D.L. Designing software for ease of extension and construction. IEEE Trans. Softw. Eng. SE-5, 2 (Mar. 1979).
	32	Patel-Schneider, P.F. Small can be beautiful in knowledge representation. In Proceedings of the IEEE Workshop on Princi tes of Knowtedge- Based Systems (Denver, Dec. 1984). Extended version appears as A1 Tech. Rep. 37, Schlumberger Palo Alto Research, Palo Alto, Calif., Oct. 1984, pp. 1t-16.
	33	Patel-Schneider, P.F., Brachman, R.J., and Levesque, H.J. Argon: Knowledge representation meets information retrieval. In Proceeding~ of the First Conference on Artificial Intelligence Applications (1984), pp. 280-286.
	34	Maria H Penedo, Prototyping a project master database for software engineering environments, Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.1-11, December 09-11, 1986, Palo Alto, California, United States
	35	Perrv, D.E. Industrialstrength software development environments. In Proceedings of the IFIP Congress '89, The l lth Worm Computer Congress (Aug./Sept. 1989, San Franciso).
	36	Prieto-Diaz, R. Domain analysis for reusability. In Proceedings IEEE COMPSAC-87, Tokyo, Japan, (Oct. 1987).
	37	Prieto-Diaz, R. and Freeman, P. Classifying software for reusability. IEEE Softw. 4 (Jan. 1987), 6-16.
	38	Robins, G. The ISI grapher manual, University of Southern California Information Sciences Institute, Tech. Manual ISIFFM-88-197, Feb. 1988.
	39	Manfred Schmidt-Schaubß, Subsumption in KL-ONE is undecidable, Proceedings of the first international conference on Principles of knowledge representation and reasoning, p.421-431, December 1989
	40	Ben Shneiderman, Empirical studies of programmers: the territory, paths, and destination, Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers, p.1-12, June 1986, Washington, D.C., United States
	41	Solderitsch, J., Wallnau, K., Thalhamer, J. Constructing domainspecific Ada reuse libraries. In Proceedings oJ the Seventh Annual National Conference on ADA Technology.' (Atlantic City, Mar. 1989).
	42	E. Soloway, Learning to program = learning to construct mechanisms and explanations, Communications of the ACM, v.29 n.9, p.850-858, Sept. 1986 [doi>10.1145/6592.6594]
	43	Soloway, E. and Ehrlich, K. Empirical studies of programming knowledge. IEEE Trans. So(tw. Eng. SE-IO, (Sept. 1984).
	44	Elliot Soloway , Robin Lampert , Stan Letovsky , David Littman , Jeannine Pinto, Designing documentation to compensate for delocalized plans, Communications of the ACM, v.31 n.11, p.1259-1267, Nov. 1988 [doi>10.1145/50087.50088]
	45	Smoliar, S.W. and Swartout, W. A report from the frontiers of knowledge representation. Draft Manuscript, USC/ISI, 1988.
	46	Steffen, J.L. Interactive examination of a C program with C .... p~. In Proceedings of the USENIX Association (Winter Conf., Jan. 1985).
	47	Teitelman, W. The INTERLISP reference manual, Bolt, Beranek and Newman, 1974. Section 20 describes MasterScope, which was written by L.M. Masinter.
	48	A. van Lamsweerde , B. Delcourt , E. Delor , M. C. Schayes , R. Champagne, Generic Lifecycle Support in the ALMA Environment, IEEE Transactions on Software Engineering, v.14 n.6, p.720-741, June 1988 [doi>10.1109/32.6153]
	49	Linda M. Wills, Automated Program Recognition, Massachusetts Institute of Technology, Cambridge, MA, 1987
	50	M. Wood , I. Sommerville, An information retrieval system for software components, ACM SIGIR Forum, v.22 n.3-4, p.11-28, Spring/Summer 1988 [doi>10.1145/54347.54349]

CITED BY 73

	Kenneth M. Anderson , Susanne A. Sherba , William V. Lepthien, Towards large-scale information integration, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Premkumar T. Devanbu, GENOA—a customizable, front-end-retargetable source code analysis framework, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.2, p.177-212, April 1999
	William W. Cohen , Haym Hirsh, Learnability of description logics, Proceedings of the fifth annual workshop on Computational learning theory, p.116-127, July 27-29, 1992, Pittsburgh, Pennsylvania, United States
	E. Damiani , M. G. Fugini , C. Bellettini, A hierarchy-aware approach to faceted classification of objected-oriented components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.3, p.215-262, July 1999
	Liesbeth Dusink , Jan van Katwijk, Reuse dimensions, ACM SIGSOFT Software Engineering Notes, v.20 n.SI, p.137-149, Aug. 1995
	Yunwen Ye , Gerhard Fischer , Brent Reeves, Integrating active information delivery and reuse repository systems, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.60-68, Nov. 2000
	Mariano Consens , Alberto Mendelzon , Arthur Ryman, Visualizing and querying software structures, Proceedings of the 14th international conference on Software engineering, p.138-156, May 11-15, 1992, Melbourne, Australia
	Premkumar Devanbu , Mark A. Jones, The use of description logics in KBSE systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.2, p.141-172, April 1997
	Carlo Meghini , Fabrizio Sebastiani , Umberto Straccia, A model of multimedia information retrieval, Journal of the ACM (JACM), v.48 n.5, p.909-970, September 2001
	E. Damiani , M. G. Fugini , C. Bellettini, Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.4, p.425-472, Oct. 1999
	Chung-Horng Lung , Joseph E. Urban, An approach to the classification of domain models in support of analogical reuse, ACM SIGSOFT Software Engineering Notes, v.20 n.SI, p.169-178, Aug. 1995
	Alex Borgida , Ronald J. Brachman, Loading data into description reasoners, ACM SIGMOD Record, v.22 n.2, p.217-226, June 1, 1993
	Gail C. Murphy , David Notkin, Lightweight lexical source model extraction, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.262-292, July 1996
	Patrick Finnigan , Richard C. Holt , Ivan Kallas , Scott Kerr , Kostas Kontogiannis , Hausi A. Müller , John Mylopoulos , Stephen G. Perelgut , Martin Stanley , Kerny Wong, The software bookshelf, Advances in software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	Scott Henninger, An evolutionary approach to constructing effective software reuse repositories, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.2, p.111-140, April 1997
	Michael Frazier , Leonard Pitt, CLASSIC learning, Proceedings of the seventh annual conference on Computational learning theory, p.23-34, July 12-15, 1994, New Brunswick, New Jersey, United States
	Scott Henninger, Retrieving software objects in an example-based programming environment, Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval, p.251-260, October 13-16, 1991, Chicago, Illinois, United States
	Ann Q. Gates , Oscar Mondragon, FasTLInC: a constraint-based tracing approach, Journal of Systems and Software, v.63 n.3, p.241-258, 15 September 2002
	Scott Henninger, Supporting the construction and evolution of component repositories, Proceedings of the 18th international conference on Software engineering, p.279-288, March 25-29, 1996, Berlin, Germany
	Premkumar T. Devanbu , Mark A. Jones, The use of description logics in KBSE systems: experience report, Proceedings of the 16th international conference on Software engineering, p.23-35, May 16-21, 1994, Sorrento, Italy
	S. Castano , V. De Antonellis , M. G. Fugini , B. Pernici, Conceptual schema analysis: techniques and applications, ACM Transactions on Database Systems (TODS), v.23 n.3, p.286-333, Sept. 1998
	Premkumar T. Devanbu, Translating description logics to information server queries, Proceedings of the second international conference on Information and knowledge management, p.256-263, November 01-05, 1993, Washington, D.C., United States
	E. Damiani , M. G. Fugini, Automatic thesaurus construction supporting fuzzy retrieval of reusable components, Proceedings of the 1995 ACM symposium on Applied computing, p.542-547, February 26-28, 1995, Nashville, Tennessee, United States
	Robert S. Brewer, Improving problem-oriented mailing list archives with MCS, Proceedings of the 22nd international conference on Software engineering, p.95-104, June 04-11, 2000, Limerick, Ireland
	Christopher G. Drummond , Dan Ionescu , Robert C. Holte, A Learning Agent that Assists the Browsing of Software Libraries, IEEE Transactions on Software Engineering, v.26 n.12, p.1179-1196, December 2000
	Jin W. Chang, Computer aided software engineering (CASE) based on transformation with object-oriented logic (TOOL), Proceedings of the 1992 ACM annual conference on Communications, p.331-335, March 03-05, 1992, Kansas City, Missouri, United States
	Guillermo Arango , Eric Schoen , Robert Pettengill, A process for consolidating and reusing design knowledge, Proceedings of the 15th international conference on Software Engineering, p.231-242, May 17-21, 1993, Baltimore, Maryland, United States
	Alex Borgida, On the relationship between description logic and predicate logic queries, Proceedings of the third international conference on Information and knowledge management, p.219-225, November 29-December 02, 1994, Gaithersburg, Maryland, United States
	Panos Constantopoulos , Matthias Jarke , John Mylopoulos , Yannis Vassiliou, The software information base: a server for reuse, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.1, p.1-43, January 1995
	Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, Bibliography, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
	Anita Behle , Michael Kirchhof , Manfred Nagl , Ralf Welter, Retrieval of software components using a distributed web system, Journal of Network and Computer Applications, v.25 n.3, p.197-222, July 2002
	Tommaso Di Noia , Eugenio Di Sciascio , Francesco M. Donini , Marina Mongiello, A system for principled matchmaking in an electronic marketplace, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary
	Diego Calvanese , Giuseppe De Giacomo , Daniele Nardi , Maurizio Lenzerini, Reasoning in expressive description logics, Handbook of automated reasoning, Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 2001
	Hai Zhuge, An inexact model matching approach and its applications, Journal of Systems and Software, v.67 n.3, p.201-212, 15 September 2003
	Lamia Labed Jilani , Jules Desharnais , Ali Mili, Defining and Applying Measures of Distance Between Specifications, IEEE Transactions on Software Engineering, v.27 n.8, p.673-703, August 2001
	Alexander Borgida, Description Logics in Data Management, IEEE Transactions on Knowledge and Data Engineering, v.7 n.5, p.671-682, October 1995
	Mariano Consens , Alberto Mendelzon , Arthur Ryman, Visualizing and querying software structures, Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, October 28-30, 1991, Toronto, Ontario, Canada
	Premkumar T. Devanbu, GENOA: a customizable language- and front-end independent code analyzer, Proceedings of the 14th international conference on Software engineering, p.307-317, May 11-15, 1992, Melbourne, Australia
	Charles Rich , Yishai A. Feldman, Seven Layers of Knowledge Representation and Reasoning in Support of Software Development, IEEE Transactions on Software Engineering, v.18 n.6, p.451-469, June 1992
	Stan Jarzabek, Design of Flexible Static Program Analyzers with PQL, IEEE Transactions on Software Engineering, v.24 n.3, p.197-215, March 1998
	Ying Pan , Lei Wang , Lu Zhang , Bing Xie , Fuqing Yang, Relevancy based semantic interoperation of reuse repositories, ACM SIGSOFT Software Engineering Notes, v.29 n.6, November 2004
	Rym Mili , Ali Mili , Roland T. Mittermeir, Storing and Retrieving Software Components: A Refinement Based System, IEEE Transactions on Software Engineering, v.23 n.7, p.445-460, July 1997
	Gerardo Canfora , Aniello Cimitile , Ugo de Carlini, A Logic-Based Approach to Reverse Engineering Tools Production, IEEE Transactions on Software Engineering, v.18 n.12, p.1053-1064, December 1992
	Scott Henninger, Using Iterative Refinement to Find Reusable Software, IEEE Software, v.11 n.5, p.48-59, September 1994
	W. B. Frakes , T. P. Pole, An Empirical Study of Representation Methods for Reusable Software Components, IEEE Transactions on Software Engineering, v.20 n.8, p.617-630, August 1994
	Gail C. Murphy , David Notkin , Kevin J. Sullivan, Software Reflexion Models: Bridging the Gap between Design and Implementation, IEEE Transactions on Software Engineering, v.27 n.4, p.364-380, April 2001
	Jane Cleland-Huang , Carl K. Chang , Mark Christensen, Event-Based Traceability for Managing Evolutionary Change, IEEE Transactions on Software Engineering, v.29 n.9, p.796-810, September 2003
	Songsri Tangsripairoj , M. H. Samadzadeh, Organizing and visualizing software repositories using the growing hierarchical self-organizing map, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Wojtek Kozaczynski , Jim Ning , Andre Engberts, Program Concept Recognition and Transformation, IEEE Transactions on Software Engineering, v.18 n.12, p.1065-1075, December 1992
	William Mark , Sherman Tyler , James McGuire , Jon Schlossberg, Commitment-Based Software Development, IEEE Transactions on Software Engineering, v.18 n.10, p.870-885, October 1992
	Roberto Bellinzona , Maria Grazia Fugini , Barbara Pernici, Reusing Specifications in OO Applications, IEEE Software, v.12 n.2, p.65-75, March 1995
	Gerhard Fischer , Andreas Girgensohn , Kumiyo Nakakoji , David Redmiles, Supporting Software Designers with Integrated Domain-Oriented Design Environments, IEEE Transactions on Software Engineering, v.18 n.6, p.511-522, June 1992
	Ge Li , Lu Zhang , Yan Li , Bing Xie , Weizhong Shao, Shortening retrieval sequences in browsing-based component retrieval using information entropy, Journal of Systems and Software, v.79 n.2, p.216-230, February 2006
	Yunwen Ye , Gerhard Fischer, Supporting reuse by delivering task-relevant and personalized information, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Alex Borgida , Matthias Jarke, Editorial: Knowledge Representation and Reasoning in Software Engineering, IEEE Transactions on Software Engineering, v.18 n.6, p.449-450, June 1992
	Michael Uschold, Ontology-Driven Information Systems: Past, Present and Future, Proceeding of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008), p.3-18, July 02, 2008
	Alex Borgida, How knowledge representation meets software engineering (and often databases), Automated Software Engineering, v.14 n.4, p.443-464, December 2007
	Alessandro Artale , Enrico Franconi, Representing a robotic domain using temporal description logics, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, v.13 n.2, p.105-117, April 1999
	Yongbeom Kim , Edward A. Stohr, Software reuse: survey and research directions, Journal of Management Information Systems, v.14 n.4, p.113-147, March 1998
	M. G. J. van den Brand , P. Klint , C. Verhoef, Reverse engineering and system renovation—an annotated bibliography, ACM SIGSOFT Software Engineering Notes, v.22 n.1, p.57-68, Jan. 1997
	Spencer Rugaber, The use of domain knowledge in program understanding, Annals of Software Engineering, v.9 n.1-4, p.143-192, 2000
	John Yen , Swee Hor Teh , William M. Lively, Principled Modeling and Automatic Classification for Enhancing the Reusability of Problem Solving Methods of Expert Systems, Applied Intelligence, v.8 n.2, p.139-155, March-April 1998
	A. Mili , R. Mili , R. T. Mittermeir, A survey of software reuse libraries, Annals of Software Engineering, 5, p.349-414, 1998
	Sushil Acharya , R. Sadananda, Promoting Software Reuse Using Self Organizing Maps, Neural Processing Letters, v.5 n.3, p.219-226, June 1997
	John Mylopoulos , Alex Borgida , Eric Yu, Representing Software Engineering Knowledge, Automated Software Engineering, v.4 n.3, p.291-317, July 1997
	William W. Cohen, Hardness Results for Learning First-Order Representations and Programming by Demonstration, Machine Learning, v.30 n.1, p.57-87, Jan. 1998
	Yunwen Ye , Gerhard Fischer, Reuse-Conducive Development Environments, Automated Software Engineering, v.12 n.2, p.199-235, April 2005
	Will Tracz, Domain analysis working group report: first international workshop on software reusability, ACM SIGSOFT Software Engineering Notes, v.17 n.3, p.27-34, July 1992
	Reid Holmes , Robert J. Walker, Informing Eclipse API production and consumption, Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, p.70-74, October 21-21, 2007, Montreal, Quebec, Canada
	Tommaso Di Noia , Eugenio Di Sciascio , Francesco M. Donini , Marina Mongiello, A System for Principled Matchmaking in an Electronic Marketplace, International Journal of Electronic Commerce, v.8 n.4, p.9-37, Number 4/Summer 2004
	Tommaso Di Noia , Eugenio Di Sciascio , Francesco M. Donini, Semantic matchmaking as non-monotonic reasoning: a description logic approach, Journal of Artificial Intelligence Research, v.29 n.1, p.269-307, May 2007
	Alessandro Artale , Enrico Franconi, A temporal description logic for reasoning about actions and plans, Journal of Artificial Intelligence Research, v.9 n.1, p.463-506, August 1998
	Alex Borgida , Peter F. Patel-Schneider, A semantics and complete algorithm for subsumption in the classic description logic, Journal of Artificial Intelligence Research, v.1 n.1, p.277-308, August 1993

INDEX TERMS

Primary Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.2 Design Tools and Techniques
Subjects: Software libraries

Additional Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.7 Distribution, Maintenance, and Enhancement

Nouns: LaSSIE
D.2.9 Management
Subjects: Software configuration management

I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE
I.2.4 Knowledge Representation Formalisms and Methods
Subjects: Representation languages

General Terms:
Algorithms, Design, Languages, Management

REVIEW

"Leo G. Egan, Jr. : Reviewer"

I recommend this paper for everyone who wants to keep up with what is going on in software development. From a reader's point of view, the paper is interesting. From an application point of view, it holds little interest. The work may have hel more...

Collaborative Colleagues:

Prem Devanbu: colleagues

Ron Brachman: colleagues

Peter G. Selfridge: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player