HYPERPROGRAMMING: A Formal Approach to Software Environments (1990)
| Venue: | In Proceedings, Symposium on Formal Approaches to Software Environment Technology. Joint System Development Corporation |
| Citations: | 21 - 13 self |
BibTeX
@INPROCEEDINGS{Goguen90hyperprogramming:a,
author = {Joseph A. Goguen},
title = {HYPERPROGRAMMING: A Formal Approach to Software Environments},
booktitle = {In Proceedings, Symposium on Formal Approaches to Software Environment Technology. Joint System Development Corporation},
year = {1990}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
: Hyperprogramming is an emerging semantics-based technique for the integration of diverse features of programming environments, in particular, rapid prototyping and formal methods. This approach generalizes the notion of module to that of module cluster , which is an association around a central formal specification of various items of programming information, such as interface, source code, compiled code, rapid prototypes, formal proofs, test cases, performance estimates, documentation, history and accounting information. This allows all information items to be composed at the same time, by evaluating a master text called a module expression, which tells how to compose and transform module clusters. Hyperprogramming thus integrates design, specification, prototyping, coding, configuration, proof, testing, documentation and accounting into a single framework significantly generalizing both Ada generics and Unix 1 make. Hyperprogramming can also support a variety of different progra...
