Domain-Specific Representations in the KBSA Concept Demo

DOI 10.1109/kbse.1991.638026 dblp

Abstract

The use of domain-specific knowledge in development environments can help increase the developer's productivity and reusability of the specifications. Domain-specific representations can make formal specification languages more usable by the average developer, and therefore raise the acceptability of KBSA-type systems. This paper describes on-going research in the KBSA Concept Demonstration project to create specification representations customized to particular domains.

BibTeX

@inproceedings{Cabral-DeBellis:ASE91,
  author    = {Gui Cabral and
               Michael DeBellis},
  title     = {{Domain-Specific} Representations in the {KBSA} Concept Demo},
  booktitle = {ASE},
  pages     = {97--106},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
}

Domain-Specific Representations in the KBSA Concept Demo

Abstract

Related papers