Perfect Developer

Perfect Developer

Perfect Developer (PD) is a tool for developing computer programs in a rigorous manner, by developing a formal specification and refining it to code. Even though the tool is founded on formal methods, the suppliers claim that advanced mathematical knowledge is not a pre-requisite.

PD supports the Verified Design by Contract paradigm (which is an extension of Design by contract) in which the contracts are verified by static analysis, so that it is certain that they will not fail at runtime.

The Perfect specification language used has an object-oriented style, producing code in programming languages like Java and C++. It has been developed by the UK company "Escher Technologies Ltd". They note on their website that their claim is not that the language itself is perfect, but that it can be used to produce code which perfectly implements a precise specification.

External links

* [http://www.eschertech.com/products/ Perfect Developer]
* [http://www.eschertech.com/ Escher Technologies]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Perfect (disambiguation) — Perfect may refer to: * Perfection, a philosophical concept * Perfection (law), a legal concept * Perfect aspect, a grammatical concept * Perfect, a Cathar priestIn mathematics: * Perfect number * Perfect group * Perfect set * Perfect graphIn… …   Wikipedia

  • Perfect Dark Zero — North American box art Developer(s) Rare Publisher(s) …   Wikipedia

  • Perfect Entertainment — was a computer game developer, which ceased production in 1999 [ [http://games.ign.com/objects/026/026101.html IGN s fact page on Perfect Entertainment] ] . It was created as a result of a merger between the two computer game companies Teeny… …   Wikipedia

  • Perfect Dark — This article is about the Nintendo 64 video game. For other uses, see Perfect Dark (disambiguation). Perfect Dark …   Wikipedia

  • Perfect World — Infobox VG title = Perfect World developer = Beijing Perfect World publisher = [http://www.games masters.com Games Masters Ltd.] designer = engine = released = Q3/2008 genre = Fantasy MMORPG modes = MMO ratings = platforms = Windows media =… …   Wikipedia

  • Perfect Match (Australian game show) — Infobox Television show name = Perfect Match caption = genre = Dating game show creator = developer = presenter = Greg Evans (1984 1986, 1989) Cameron Daddo (1987 1988) Shelley Craft (2002) narrated = theme music composer = opentheme = endtheme …   Wikipedia

  • Perfect Dark (handheld game) — Infobox VG title = Perfect Dark developer = Rare publisher = Rare series = Perfect Dark series designer = engine = released = EU July 24, 2000 NA August 28, 2000 genre = Action modes = Single player multiplayer ratings = ESRB: Teen (T) platforms …   Wikipedia

  • World Heroes Perfect — Infobox VG title = World Heroes caption = Japanese cover of World Heroes Perfect developer = Alpha Denshi, SNK publisher = SNK designer = release = platforms= Arcade Game, Neo Geo, Sega Saturn genre = Versus fighting game modes = Single player, 2 …   Wikipedia

  • The Perfect Score — Infobox Film name = The Perfect Score caption = The Perfect Score Theatrical Poster director = Brian Robbins producer = Donald J. Lee, Jr. eproducer = aproducer = writer = Marc Hyman Jon Zack Mark Schwahn starring = Scarlett Johansson Erika… …   Wikipedia

  • The Perfect General — Infobox VG| title = Perfect General developer = Mark Baldwin publisher = Quantum Quality Productions released = 1991 genre = turn based tactics modes = Single player platforms = MS DOS, Amiga The Perfect General is a turn based tactics game… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”