Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,797,169 papers from all fields of science
Search
Sign In
Create Free Account
Perfect Developer
Known as:
Perfect (disambiguation)
Perfect Developer (PD) is a tool for developing computer programs in a rigorous manner. It is used to develop applications in areas including IT…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
C++
Design by contract
Formal methods
Java
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Implementing the Verified Software InitiativeBenchmarks using Perfect Developer
Yan Xu
,
Rosemary Monahan
2010
Corpus ID: 60500421
This paper describes research on the Perfect Developer tool and its associated programming language, Perfect. We focus on seven…
Expand
2005
2005
Generating commercial web applications from precise requirements and formal specifications
David Crocker
,
J. H. Warren
International Workshop on Automated Specification…
2005
Corpus ID: 17300674
We present a new model-based approach that we are using to build commercial webbased applications. The user requirements together…
Expand