Refinement Laws For Verifying Library Subroutine Adaptation

Fidge, Colin J., Robinson, Peter, & Dunne, Steve (2005) Refinement Laws For Verifying Library Subroutine Adaptation. In Stooper, P. (Ed.) 2005 Australian Software Engineering Conference, Brisbane, Australia.

View at publisher

Abstract

In component-based software engineering programs are constructed from pre-defined software library modules. However, if the library's subroutines do not exactly match the programmer's requirements, the subroutines' code must be adapted accordingly. For this process to be acceptable in safety or mission-critical applications, where all code must be proven correct, it must be possible to verify the correctness of the adaptations themselves. In this paper we show how refinement theory can be used to model typical adaptation steps and to define the conditions that must be proven to verify that a library subroutine has been adapted correctly.

Impact and interest:

0 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

131 since deposited on 16 Oct 2007
6 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 10180
Item Type: Conference Paper
Refereed: Yes
DOI: 10.1109/ASWEC.2005.40
ISBN: 0769522572
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Copyright Owner: Copyright 2005 IEEE
Copyright Statement: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Deposited On: 16 Oct 2007 00:00
Last Modified: 30 Mar 2012 03:57

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page