Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/36714
Type: | Conference paper |
Title: | Supporting component-based reuse in CARE |
Author: | Hemer, D. Lindsay, P. |
Citation: | Computer science 2002 : proceedings of the twenty-fifth Australasian Computer Science Conference, Monash University, Melbourne, Jan./Feb. 2002 / Michael Oudshoorn (ed.) : pp. 95-104 |
Publisher: | Australian Computer Society Inc |
Issue Date: | 2002 |
Series/Report no.: | Australian computer science communications ; v. 24, no. 1 |
ISBN: | 0909925828 |
Conference Name: | Australasian Computer Science Conference (25th : 2002 : Monash University, Melbourne) |
Statement of Responsibility: | David Hemer and Peter Lidsay |
Abstract: | The increased reliance on software in critical applications suggests a greater need for formal methods to be used in the development of such software. A number of formal languages and toolsets exist for developing formally specified and verified software; however experience tells us that the development of formally verified software, even with the current tool support, is an expensive process.By adopting a component-based development methodology, whereby software is developed from reusable components, significant savings can be made. In particular the amount of proof --- arguably the most expensive and difficult part of formal development --- can be greatly reduced by proving the correctness of reusable components once, off-line, prior to their use.Tools are required which support the user in adapting and retrieving components from libraries of formally specified components. This paper describes extensions to the CARE toolset that support adaptation and retrieval of reusable components. |
Description: | Copyright © 2001, Australian Computer Society |
Appears in Collections: | Aurora harvest 6 Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.