David A. Penny

A “curriculum-cycle” environment for teaching programming

Richard C. Holt, Spiros Mancoridis, David A. Penny, 1993, SIGCSE '93.

Formal Specification in Metamorphic Programing

Michael W. Godfrey, Richard C. Holt, David A. Penny, 1991, VDM Europe.

A conceptual framework for software development

Richard C. Holt, Spiros Mancoridis, David A. Penny, 1993, CSC '93.

Release planning

David A. Penny, 2002, International Conference on Software Maintenance, 2002. Proceedings..

An estimation-based management framework for enhancive maintenance in commercial software products

David A. Penny, D. A. Penny, 2002, International Conference on Software Maintenance, 2002. Proceedings..

Multicolour programming and metamorphic programming: object oriented programming-in-the-large

Richard C. Holt, Spiros Mancoridis, David A. Penny, 1992, CASCON.

The software landscape: a visual formalism for programming-in-the-large

David A. Penny, David A. Penny, D. A. Penny, 1993 .

VDM '91 Formal Software Development Methods

Michael W. Godfrey, Richard C. Holt, David A. Penny, 1991, Lecture Notes in Computer Science.