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 (DPO BOX 120)
Utica NY 13503
attn: Document Ordering
315-336-0937
Defense Technical Information Center,
Cameron Station
Alexandria VA 22304-6145
202 274 7633
Defense Logistics Service Center
ATTN: DSA-FBA
Federal Center
Battle Creek, MI 49017-3084
(800) 352 3572
0. Report on A Knowledge-Based Software Assistant
C. Green, D. Luckham, R. Balzer, T.Cheatham, C.Rich
1983
AD-A134 699
1. KBSA Project Management Assistant
Final Technical Report (2 vols),RADC-TR-87-78, July 87
Kestrel Institute - Richard Jullig, Wolfgang Polak, Peter Ladkin,
Li-Mei Gilham
AD-A189 286 & AD-B117 268
2. KBSA Specification Assistant
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
AD-B 132 716 & AD-B132 71
3. Knowledge Based Requirements Assistant
Final Technical Report (2 vols), RADC-TR-88-205, Oct 88
Sanders Associates, Inc. - David Harris, Andrew Czuchry
AD-B130 358 & AD-B130 359
4. KBSA Framework
Final Technical Report (Phase 1), RADC-TR-88-204, Oct 88
Honeywell, Inc. - Steve Huseth, Aaron Larson, Jim Carciofini,
Joshua Glasser
AD-B130 699
5. 2nd Annual Knowledge-Based Software Assistant Conference
Proceedings, RADC-TR-87-243, Jan 88
Rome Air Development Center - 1Lt Kevin Benner, Ed.
AD-A189 819 (approx. cost $19.07)
6. 3rd Annual Knowledge-Based Software Assistant Conference
Proceedings, RADC-TR-89-19
Rome Air Development Center - Capt. Kevin Benner, Ed.
AD-B133726
7. KBSA Performance Estimation Assistant
Final Technical Report (2 vols), RADC-TR-89-98
Kestrel Institute - Allen Goldberg, Lee Blaine, Tom Pressburger,
Xiaolei Qian, Tracy Roberts, Stephen Westfold
AD-B138101
8. Automated Multi-source Knowledge and Management
1989 Univ. of Massachusetts
AD-A210330
9. 4th Annual Knowledge-Based Software Assistant Conference
Preceedings, RADC-TR-90-59;
Rome Air Development Center Sept.1990
AD-A224797
10. PMA for ADA;
Kestrel Institute
(forthcoming)
11. Transaction Graphs: A Sketch Formalism for Activity Coordination
Software Options, Inc., Michael Karr, December 1990;
RADC-TR-90-347
12. KBSA Framework, Honeywell, Inc., Aaron Larson, John Kimball, Jeff Clark,
Bob Schrag, December 1990,
RADC-TR-90-349
13. 5th Annual Knowledge-Based Software Assistant Conference
Preceedings (KBSE-90), RL-TR-91-11 Feb. 1991
Rome Laboratory - Eds. Douglas White and Louis Hoebel
14. Proceedings of the 6th Knowledge-Based Software Engineering
Conference (KBSE-91) - Eds. Peter Selfridge, Louis Hoebel
and Douglas White. Limited copies available from the DACS.
and the also from the IEEE/CS Press.
There are many articles on Knowledge-BAsed Software Engineering in the
literature. A good place to start otyher than the KBSE proceedings
woudl be "Readings in Artificial Intelligence and Software
Engineering". Charles Rich and Richard Waters, eds. Published by
Morgan Kaufman, 1986.
The Journal of Automated Software Engineering, Lewis Johnson and Anthony Finkelstein, eds, is a quarterly journal dedicated to this field, published by Kluwer Academic. There is further information on this journal at this information site.
Some other articles of interest:
Robert Balzer, Thomas Cheatham and Cordell Green, "SOftware Technology in the 1990's: Using a New Paradigm". IEEE Computer V16N11, Nov. 1983.