Program Tasarım Dili
Bir bilgisayar programının tasarımını geliştirme, analiz ve belgeleme için kullanılan, doğrulama protokollerini de barındırabilen belirtim dili.
Diğer terimler: enzimoloji, Programmentwurfssprache, f, program design language, langage de conception de programme, m, Rheum ribes