Authors: Marwa Benabdelali and Lamia Jilani

Affiliation: Université de Tunis, Institut Supérieur de Gestion de Tunis, Lab. RIADI-GDL, Bardo and Tunisia

ISBN: 978-989-758-379-7

Keyword(s): Specification, Formal Approach, Program Derivation Process, Refinement, Relative Correctness, Reliable Software.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: This paper concerns the exploration of an approach that deals with formal program derivation in contrast to the traditional approach that begins with a formal specification, derive different refinements of that specification until generating the final correct program code. Hence, we use a rigorous theoretical framework which is based on the concept of relative correctness; the property of a program to be more correct than another program with respect to a specification. Program derivation process by relative correctness presents several advantages as for example deriving reliable software. In fact, for most software products, as for products in general, perfect correctness is not necessary; very often, adequate reliability threshold is sufficient. Our aim is to continue experimenting with the discipline of reliable program derivation by correctness enhancement by conducting an analytical and empirical study of this approach as a proof of concept. Then, to analyze the results and compa re them (give feedback) to what is predicted and proposed by the analytical approach and decide on the usability of the approach and/or adjust/complete it. Finally, we propose a mechanism that helps and guides developer in the program derivation process using relative correctness. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Benabdelali, M. and Jilani, L. (2019). Deriving Programs by Reliability Enhancement.In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-379-7, pages 210-217. DOI: 10.5220/0007835402100217

author={Marwa Benabdelali. and Lamia Labed Jilani.},
title={Deriving Programs by Reliability Enhancement},
booktitle={Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,},


JO - Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Deriving Programs by Reliability Enhancement
SN - 978-989-758-379-7
AU - Benabdelali, M.
AU - Jilani, L.
PY - 2019
SP - 210
EP - 217
DO - 10.5220/0007835402100217

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.