[comp.ai] References on AI in SE

hoebel@cs.rochester.edu (02/14/90)

This is a list of reports pertaining to the Knowledge-Based
Software Assistant project.
Note that QCAL numbers are easily attained as long as you
aggree to abide by the Export Controls Regulations.
Hope this helps.
-=-=-=-=-=-=-=-=-=-=-=-=-=-

Technical Reports

-=-=-=-=-=-=-=-=-=-=-=-=-=-

Non-members of DTIC may request KBSA reports from NTIS.
AD-Axxx xxx means the report has unlimited distibution.
AD-Bxxx xxx means the report is available only from DTIC
and requires a QCAL number since the report is under export control.
QCAL numbers are obtained from DTIC.

DTIC (Defense Technical Information Center)
202-274-7633

National Technical Information Service
5285 Port Royal Rd.
Springfield VA 22161
703-487-4600
(charge is by document page number plus $3 per order)

Data& Analysis Center for Software (DACS)
PO BOX 120
Utica NY 13503
attn: Document Ordering
315-336-0937

0. Report on A Knowledge-Based Software Assistant
   AD-A134 699
   C. Green, D. Luckham, R. Balzer, T.Cheatham, C.Rich
   1983

1.  KBSA Project Management Assistant
    AD-A189 286 & AD-B117 268
        Final Technical Report (2 vols),RADC-TR-87-78, July 87
        Kestrel Institute - Richard Jullig, Wolfgang Polak, Peter Ladkin,
                                Li-Mei Gilham

2.  KBSA Specification Assistant
    AD-B 132 716 & AD-B132 717
        Final Technical Report (2 vols), RADC-TR-88-313, Feb 89
        University of Southern California - W. Lewis Johnson, Don Cohen,
                                Martin Feather, Dan Kogan, Jay Meyers,
                                Kai Yue, Robert Balzer

3.  Knowledge Based Requirements Assistant
    AD-B130 358 & AD-B130 359
        Final Technical Report (2 vols), RADC-TR-88-205, Oct 88
        Sanders Associates, Inc. - David Harris, Andrew Czuchry

4.  KBSA Framework
    AD-B130 699
        Final Technical Report (Phase 1), RADC-TR-88-204, Oct 88
        Honeywell, Inc. - Steve Huseth, Aaron Larson, Jim Carciofini,
                                Joshua Glasser

5.  2nd Annual Knowledge-Based Software Assistant Conference
        Proceedings, RADC-TR-87-243, Jan 88
      AD-A189 819 (approx. cost $19.07)
	Rome Air Development Center - 1Lt Kevin Benner, Ed.

6.  3rd Annual Knowledge-Based Software Assistant Conference
        Proceedings, 
    AD-B133 726
        Rome Air Development Center - Capt. Kevin Benner, Ed.

7.  KBSA Performance Estimation Assistant
    AD-B-138 101
        Final Technical Report (2 vols), Publication Pending
        Kestrel Institute - Allen Goldberg, Lee Blaine, Tom Pressburger,
                                Xiaolei Qian, Tracy Roberts, Stephen Westfold


8. Automated Multi-source Knowledge and Management
   AD-A210 330
   1989 Univ. of Massachusetts


9. 4th Annual Knowledge-Based Software Assistant Conference Preceedings
   (DACS - 13503)
   after Feb. 1990 

forthcoming

   PMA for ADA
   after June 1990
   Kestrel Institute

   Activities Co-ordination Formalism Design
   after Feb. 1990
   CSC/Software Options