BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
specif (5)
demonstr (2)
part (2)
execut (2)
adm (2)

Stem kbsa$ (all stems)

11 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.