Refinement Methodology for Ada

DOI10.1109/TSE.1987.233183zbMath0616.68005MaRDI QIDQ4725710

Vaclav Rajlich

Publication date: 1987

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

stepwise refinementsoftware designprogramming-in-the-largebottom-up programmingAda programsinformation hiding principle

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• Unnamed Item

This page was built for publication: Refinement Methodology for Ada