DocumentCode :
3443763
Title :
Foundations for evolutionary construction of state transition models
Author :
Aoki, Toshiaki ; Katayama, Takuya
Author_Institution :
Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
fYear :
2004
fDate :
6-7 Sept. 2004
Firstpage :
143
Lastpage :
146
Abstract :
We are working on the verification of object-oriented design models using a theorem proving system HOL. One of big problems to verify software is that the cost of interactive proofs to be done during the verification is very expensive. To reduce that cost, we are proposing an approach which allows us to reuse proofs and construct models evolutionally. We focus on evolutionary construction of the models and propose foundations to deal with it.
Keywords :
program verification; software maintenance; theorem proving; HOL; construct models; evolutionary construction; evolutionary model construction; interactive proofs; object-oriented design models; software verification; state transition models; theorem proving system; Conferences; Costs; Fires; Object oriented modeling; Software libraries;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Evolution, 2004. Proceedings. 7th International Workshop on Principles of
ISSN :
1550-4077
Print_ISBN :
0-7695-2211-4
Type :
conf
DOI :
10.1109/IWPSE.2004.1334779
Filename :
1334779
Link To Document :
بازگشت