11 papers:
ASE-2010-Green #implementation #specification- Keynote address: the actual implementation will be derived from the formal specification — KBSA, 1983 (CG), pp. 183–184.
- KBSE-1996-Benner #automation #complexity #coordination #development
- Addressing Complexity, Coordination, and Automation in Software Development with the KBSA/ADM (KB), p. 13.
- KBSE-1995-SassoB #empirical #evaluation
- An Empirical Evaluation of KBSA Technology (WCS, KB), pp. 71–78.
SEKE-1993-DeBellis93a #process- The KBSA ADM Process Model (MD), p. 585.
- SEKE-1993-Deng #architecture #execution #specification
- Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.
- SEKE-1993-Evangelist #architecture #execution #specification
- Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.
- KBSE-1992-DebellisMS #concept
- The KBSA Concept Demonstration System (Demonstration) (MD, KM, WCS), p. 12.
- KBSE-1991-CabralD #concept
- Domain-Specific Representations in the KBSA Concept Demo (GC, MD), pp. 97–106.
- KBSE-1991-DeBellisSC #research
- Directions for Future KBSA Research (MD, WCS, GC), pp. 84–89.
- KBSE-1991-JohnsonFH #requirements #specification
- The KBSA Requirements/Specifications Facet: ARIES (WLJ, MSF, DRH), pp. 48–56.
- KBSE-1991-Sasso
- Motivating Adoption of KBSA: Issues, Arguments, and Strategies (WCS), pp. 90–96.
