Share and Export
Share and Export
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.
![[thumbnail of RM_Perfect_Language.pdf]](https://mural.maynoothuniversity.ie/style/images/fileicons/application_pdf.png "RM_Perfect_Language.pdf")
PDF
RM_Perfect_Language.pdf
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 |
| Related URLs: | |
| URI: | https://mural.maynoothuniversity.ie/id/eprint/3938 |
| 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
Downloads per month over past year
