퍼펙트 개발자
Perfect Developer |
퍼펙트 개발자(PD)는 엄격한 방법으로 컴퓨터 프로그램을 개발하는 도구다.IT 시스템, 공중 중요 시스템 등의 분야에서 응용 프로그램을 개발하는 데 사용된다.형식적인 규격을 개발하여 규격을 코드화 하는 것이 원칙이다.공구가 형식적인 방법에 기초하고 있음에도 불구하고, 공급자들은 고급 수학적 지식이 전제조건이 아니라고 주장한다.
PD는 계약에 의한 설계의 확장인 계약별 검증된 설계 패러다임을 지원한다.계약에 의한 검증설계에서는 정적인 분석과 자동화된 정리 입증에 의해 계약이 검증되므로, 런타임에 실패하지 않을 것이 확실하다.
사용되는 퍼펙트 사양 언어는 객체 지향적인 스타일을 가지고 있어 자바, C#, C++ 등의 프로그래밍 언어에서 코드를 생성한다.영국 기업 에셔테크놀로지스가 개발했다.그들은 웹사이트에서 그들의 주장은 언어 자체가 완벽하다는 것이 아니라, 정확한 사양을 완벽하게 구현하는 코드를 만드는 데 사용될 수 있다는 것을 지적한다.
