Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983

Abstract

The 1983 KBSA (Knowledge-Based Software Assistant) report led to the founding of the KBSE (Knowledge-Based Software Engineering conference series. The KBSE conference then changed into the ASE conference in 1997. And this year marks the 25th anniversary of the conference series.

BibTeX

@inproceedings{Green:ASE10,
  author    = {Cordell Green},
  title     = {Keynote address: the actual implementation will be derived from the formal specification -- {KBSA,} 1983},
  booktitle = {ASE},
  pages     = {183--184},
  publisher = {{ACM}},
  year      = {2010},
}

Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983

Abstract

Related papers