Proceedings of the First New Zealand Formal Program Development Colloquium

Simple item page
dc.contributor.authorReeves, Steve
dc.date.accessioned2008-10-23T02:58:05Z
dc.date.available2008-10-23T02:58:05Z
dc.date.issued1994-11
dc.description.abstractThis volume gathers together papers presented at the first in what is planned to be a series of annual meetings which aim to bring together people within New Zealand who have an interest in the use of formal ideas to enhance program development. Throughout the World work is going on under the headings of "formal methods", "programming foundations", "formal software engineering". All these names are meant to suggest the use of soundly-based, broadly mathematical ideas for improving the current methods used to develop software. There is every reason for New Zealand to be engaged in this sort of research and, of growing importance, its application. Formal methods have had a large, and growing, influence on the software industry in Europe, and lately in the U.S.A. it is being seen as important. An article in September's "Scientific American" (leading with the Denver Airport debacle) gives an excellent overview of the way in which these ideas are seen as necessary for the future of the industry. Nearer to home and more immediate are current speculations about problems with the software running New Zealand's telephone system. The papers in this collection give some idea of the sorts of areas which people are working on in the expectation that other people will be encouraged to start work or continue current work in this area. We also want the fact that this works is going on to be made known to the New Zealand computer science community at large.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationReeves, S. (1994). Proceedings of the First New Zealand Formal Program Development Colloquium. (Working paper 94/18). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_US
dc.identifier.issn1170-487X
dc.identifier.urihttps://hdl.handle.net/10289/1147
dc.language.isoen
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectBird-Meertens Formalismen_US
dc.subjectSquiggolen_US
dc.subjectprogram transformationen_US
dc.subjectprogram derivationen_US
dc.subjectfunctional programmingen_US
dc.titleProceedings of the First New Zealand Formal Program Development Colloquiumen_US
dc.typeWorking Paperen_US
uow.relation.series94/18
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
uow-cs-wp-1994-18.pdf
Size:
17.33 MB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: uow-cs-wp-1994-18.pdf
Size: 17.33 MB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.8 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.8 KB
Kind: License
Collections
1994 Working Papers