kirancodes.me
To Proof Maintenance & Beyond!
ASE 1993

Towards supporting design phase synthesis

Tobiah E. Smith, Dorothy E. Setliff

DOI 10.1109/kbse.1993.341201dblp

Abstract

This paper presents research into the automation of design phase software synthesis. Key features of an application domain, real-time multi-tasking software, are incorporated into a design selection heuristic. This heuristic captures the mathematical underpinnings inherent in the domain. A design phase synthesis algorithm, incorporating the design selection heuristic, is described. This paper then illustrates this algorithm's ability to synthesize the design of a real-time multi-tasking software set.>

BibTeX
@inproceedings{Smith-Setliff:ASE93,
  author    = {Tobiah E. Smith and
               Dorothy E. Setliff},
  title     = {Towards supporting design phase synthesis},
  booktitle = {ASE},
  pages     = {20--27},
  publisher = {{IEEE} Computer Society},
  year      = {1993},
}

Related papers