Searching for "Program Development by Stepwise 'Enhancement'." – sorted by Relevance.
-
Constructing Provably Correct Logic Programs
- programs. Section 4 describes the process of software development by stepwise enhancement and presents
- Cited by 2 (2 self) – Add To MetaCart
-
Evolution of Rule-Based Programs
- , transformational program development, stepwise enhancement, and stepwise refinement. • In Sec. 7, the paper
- Cited by 5 (2 self) – Add To MetaCart

