Systematic program development/proof using Dromey's method: some comparisons with top-down design

Authors:
James C. Pleasant
Affiliations:
Department of Computer and Information Sciences, East Tennessee State University
Venue:
CSC '91 Proceedings of the 19th annual conference on Computer Science
Year:
1991

Citing 5
Cited 1

Program development by stepwise refinement

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
The Science of Programming

The Science of Programming
A Discipline of Programming

A Discipline of Programming
Systematic Program Development

IEEE Transactions on Software Engineering

Improvements to systematic program development

ACM-SE 30 Proceedings of the 30th annual Southeast regional conference

Quantified Score

Hi-index	0.00

Visualization

Abstract