Carter, Gareth and Monahan, Rosemary
Introducing the Perfect Language. Department of Computer Science, Technical Report Series. NUIM-CS-TR-2005-06.
National University of Ireland Maynooth.
Perfect Developer is an environment that supports software development by providing
a verification of the softwares correctness. Software is constructed with
the Perfect language, an Object Oriented programming language that encompasses
both specification and implementation features. This paper provides a
general overview of the syntax of Perfect, describing a class template for Perfect.
The novel features of the language are highlighted to document the uniqueness of
Perfect. A small example is developed toward the end of the paper, to illustrate
the process of software development on a small scale.
Repository Staff Only(login required)
||Item control page