KIDS: A Semi-Automatic Program Development System (1990)
by
Douglas R. Smith
| Venue: | Client Resources on the Internet, IEEE Multimedia Systems ’99 |
| Citations: | 224 - 16 self |
BibTeX
@INPROCEEDINGS{Smith90kids:a,
author = {Douglas R. Smith},
title = {KIDS: A Semi-Automatic Program Development System},
booktitle = {Client Resources on the Internet, IEEE Multimedia Systems ’99},
year = {1990},
pages = {302--307}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The Kestrel Interactive Development System (KIDS) provides automated sup- port for the development of correct and efficient programs from formal specifications.
