An empirical evaluation of KBSA technology

To gauge the actual impact of a new technology, the paper describes an empirical study evaluating the productivity and software qualify impacts of the Concept Demo, a robust demonstration of knowledge-based software assistant (KBSA) technology. The basic results are that evolution transformations-a key KBSA technology which accomplishes compound stereotypical changes to a specification-significantly improve the productivity and quality of specification development tasks.