Perfect Developer
id:
perfect-developer-287-6634800
title:
Perfect Developer
text:
Perfect Developer (PD) is a tool for developing computer programs in a rigorous manner. It is used to develop applications in areas including IT systems and airborne critical systems. The principle is to develop a formal specification and refine the specification to code. Even though the tool is founded on formal methods, the suppliers claim that advanced mathematical knowledge is not a prerequisite. PD supports the Verified Design by Contract paradigm, which is an extension of Design by contrac
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Perfect_Developer
date created:
date modified:
2021-08-12T21:06:27Z
main entity:
{"identifier":"Q7167970","url":"https://www.wikidata.org/entity/Q7167970"}
image:
fields total:
13
integrity:
13