MURAL - Maynooth University Research Archive Library



    Introducing the Perfect Language. Department of Computer Science, Technical Report Series. NUIM-CS-TR-2005-06


    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.

    [img] Download (142kB)


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    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:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year