Home » Perfect Developer by Jesse Russell
Perfect Developer Jesse Russell

Perfect Developer

Jesse Russell

Published September 4th 2012
ISBN : 9785512309995
Paperback
148 pages
Enter the sum

 About the Book 

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 toMoreHigh 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.