loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Marwa Benabdelali and Lamia Labed Jilani

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

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 comp are 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)

CC BY-NC-ND 4.0

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 34.235.150.151

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 - ICSOFT; ISBN 978-989-758-379-7; ISSN 2184-2833, SciTePress, pages 210-217. DOI: 10.5220/0007835402100217

@conference{icsoft19,
author={Marwa Benabdelali. and Lamia Labed Jilani.},
title={Deriving Programs by Reliability Enhancement},
booktitle={Proceedings of the 14th International Conference on Software Technologies - ICSOFT},
year={2019},
pages={210-217},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007835402100217},
isbn={978-989-758-379-7},
issn={2184-2833},
}

TY - CONF

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