Research Catalog

Title

Proceedings : the ninth Knowledge-based Software Engineering Conference, September 20-23, 1994, Monterey, California / sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART, IEEE Computer Society.

Author

Knowledge-based Software Engineering Conference (9th : 1994 : Monterey, Calif.)

Publication

Los Alamitos, Calif. : IEEE Computer Society Press, [1994], ©1994.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Rome Laboratory (Griffiss Air Force Base, N.Y.)
• American Association for Artificial Intelligence.
• Association for Computing Machinery. Special Interest Committee on Artificial Intelligence.
• IEEE Computer Society.

Description

viii, 189 pages : illustrations; 28 cm

Alternative Title

• 9th Knowledge-based Software Engineering Conference.
• Ninth Knowledge-based Software Engineering Conference.
• KBSE '94.

Subjects

• Artificial intelligence > Congresses
• Expert systems (Computer science) > Congresses
• Software engineering > Congresses

Note

• "IEEE Computer Society Press order number 6380-02"--T.p. verso.
• "IEEE Catalog Number 94TH0664-3"--T.p. verso.
• "KBSE '94"--Cover.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• AMPHION: Automatic Programming for Subroutine Libraries / M. Lowry, A. Philpot, T. Pressburger and I. Underwood -- Knowledge-Based Software Assistant - Advanced Development Model Demonstrations / K. M. Benner -- Application of REFINE Language Tools to Software Quality Assurance / G. Kotik and L. Markosian -- A Framework for Distributed System Designs / M. S. Feather and S. Fickas -- Intelligent Assistance for Software Construction: A Case Study / L. G. Terveen and P. G. Selfridge -- Agent-Based Support for Communication Between Developers and Users in Software Design / A. Girgensohn, D. F. Redmiles and F. M. Shipman III -- Using Machine Learning to Synthesize Search Programs / S. Minton and S. R. Wolfe -- Composing Reusable Software Components through Views / G. S. Novak, Jr. -- A Formal Approach to Domain-Oriented Software Design Environments / M. Lowry, A. Philpot, T. Pressburger and I. Underwood -- Formal Specification Tools for Test Coverage Analysis / J. J. Chilenski and P. H. Newcomb.
• Systematic Incremental Validation of Rule-Based Reactive Systems / R. J. Hall -- A Flexible Rule-Chaining Engine for Process-Based Software Engineering / A. Z. Tong, G. E. Kaiser and S. S. Popovich -- A Formal Approach to Reusing More General Components / J.-J. Jeng and B. H. C. Cheng -- Task Oriented and Similarity-Based Retrieval / D. Lauzon and T. Rose -- Evolution and Reuse of Formal Specifications Using Decision Structures / C. Wild and D. Rosca -- Graphical Support for Code-Level Software Understanding / P. G. Selfridge and G. T. Heineman -- A Cooperative Program Understanding Environment / A. Quilici and D. N. Chin -- Abstract Data Structure Recognition / R. Dekker and F. Ververs -- User Interface Design Assistance For Large-Scale Software Development / G. A. Bolcer -- An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs / F. Balmas -- Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language / V. Loia and M. Quaggetto.
• Critical Success Factors for Knowledge-Based Software Engineering Applications / B. Boehm and P. Bose -- Knowledge-Based Risk Assessment and Cost Estimation / R. Madachy -- Software Technology Risk Advisor / G. A. Toth.

ISBN

• 0818663804 (paper)
• 0818663812 (microfiche)

OCLC

ocm31275971

Owning Institutions

Columbia University Libraries