Perfect Developer

Perfect Developer

Jesse Russell Ronald Cohn

     

бумажная книга



ISBN: 978-5-5123-0999-5

High Quality Content by WIKIPEDIA articles! 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.