PMS: An Inference System to Monitor the Stepwise Refinement of Ada Pseudocode
- 1 November 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Expert
- Vol. 1 (4) , 43-49
- https://doi.org/10.1109/mex.1986.4307006
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- PARTIALPublished by Association for Computing Machinery (ACM) ,1986
- Ada-Based support for programming-in-the-LargeIEEE Software, 1985
- Metrics to measure the complexity of partial programsJournal of Systems and Software, 1984
- A software tool for top-down programmingSoftware: Practice and Experience, 1983
- On correct refinement of programsJournal of Computer and System Sciences, 1981
- Program Development by Stepwise Refinement and Related TopicsBell System Technical Journal, 1981
- Program development by stepwise refinementCommunications of the ACM, 1971