Carter, Gareth and Monahan, Rosemary (2005) Introducing the Perfect Language. Department of Computer Science, Technical Report Series. NUIM-CS-TR-2005-06. Technical Report. National University of Ireland Maynooth.

Download (142kB)

Abstract

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.

Item Type:	Monograph (Technical Report)
Keywords:	Perfect Developer; software development; Object Oriented programming language;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	3938
Depositing User:	Rosemary Monahan
Date Deposited:	10 Oct 2012 14:31
Publisher:	National University of Ireland Maynooth
URI:	http://www.cs.nuim.ie
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads