Formal Development of Correct Classes in Computational Logic

Quality software must be reusable, extensible and reliable. In computational logic , we have developed an approach to constructing programs that are formally correct. Our approach can provide a basis for constructing software that is (formally) reusable and extensible, and not just reliable but formally correct. In this paper, we explain our notion of correct classes, and how to develop them.

Content

Author and article information

Contributors

Kung-Kiu Lau

Chris Moss

Mario Ornaghi

Conference

Publication date: September 1996

Publication date (Print): September 1996

Pages: 1-14

Affiliations

[0001]Department of Computer Science, University of Manchester

Oxford Road, Manchester M13 9PL, United Kingdom

[0002]Department of Computing, Imperial College

180 Queen’s Gate, London SW7 2BZ, United Kingdom

[0003]Dipartimento di Scienze dell’Informazione

Universita’ degli studi di Milano

Via Comelico 39/41, Milano, Italy

Article

DOI: 10.14236/ewic/FA1996.12

SO-VID: 1068fba9-4123-4168-b07b-3d0262f9edf6

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the BCS-FACS Northern Formal Methods Workshop

Conference acronym: NFM

Conference number:

Conference location: Ilkley, UK

Conference date: 23-24 September 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Northern Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1996.12

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Formal Development of Correct Classes in Computational Logic

Abstract