Cover Image

A survey on refinement in formal methods and software engineering

In software engineering, formal methods allow the design, modelling and verification of hardware and software systems. Formal methods introduce preciseness, remove ambiguity in specifications, and support the verification of requirements and design properties. Methods and approaches are needed to...

Full description

Saved in:
Bibliographic Details
Main Authors: Said, Mar Yah @ Mek Yah, Jasser, Muhammed Basheer, Abd Ghani, Abdul Azim, Din, Jamilah
Format: Article
Language:English
Published: The World Academy of Research in Science and Engineering 2019
Online Access:http://psasir.upm.edu.my/id/eprint/80509/1/FORMAL.pdf
http://psasir.upm.edu.my/id/eprint/80509/
http://www.warse.org/IJATCSE/static/pdf/file/ijatcse16814sl2019.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.upm.eprints.80509
record_format eprints
spelling my.upm.eprints.805092020-11-09T15:28:43Z http://psasir.upm.edu.my/id/eprint/80509/ A survey on refinement in formal methods and software engineering Said, Mar Yah @ Mek Yah Jasser, Muhammed Basheer Abd Ghani, Abdul Azim Din, Jamilah In software engineering, formal methods allow the design, modelling and verification of hardware and software systems. Formal methods introduce preciseness, remove ambiguity in specifications, and support the verification of requirements and design properties. Methods and approaches are needed to manage the formal models and handle their complexity. Refinement has been carried out for system artefacts ranging from modelling and design levels like architectures, and state machines to implementation and programming levels like source code. Refinement is a significant way for building complicated systems starting from simple ones by adding features gradually. Refinement has to be understood carefully in the context of formal specification and verification. This article provides a survey on some refinement techniques and methods and in the context of formal methods and software engineering. We believe that this survey sheds a light on the research direction in regards to the refinement of formal methods. This survey also helps formal methods practitioners and users in observing and understanding the advantages and limitations of refinements methods and techniques of various studied formal methods. Accordingly, they can decide which formal method is to be used in modelling systems via refinement or which formal method is to be extended with new concepts and notions to support refinement. The World Academy of Research in Science and Engineering 2019 Article PeerReviewed text en http://psasir.upm.edu.my/id/eprint/80509/1/FORMAL.pdf Said, Mar Yah @ Mek Yah and Jasser, Muhammed Basheer and Abd Ghani, Abdul Azim and Din, Jamilah (2019) A survey on refinement in formal methods and software engineering. International Journal of Advanced Trends in Computer Science and Engineering, 8 (1.4). pp. 105-112. ISSN 2278-3091 http://www.warse.org/IJATCSE/static/pdf/file/ijatcse16814sl2019.pdf 10.30534/ijatcse/2019/1681.42019
institution Universiti Putra Malaysia
building UPM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Putra Malaysia
content_source UPM Institutional Repository
url_provider http://psasir.upm.edu.my/
language English
description In software engineering, formal methods allow the design, modelling and verification of hardware and software systems. Formal methods introduce preciseness, remove ambiguity in specifications, and support the verification of requirements and design properties. Methods and approaches are needed to manage the formal models and handle their complexity. Refinement has been carried out for system artefacts ranging from modelling and design levels like architectures, and state machines to implementation and programming levels like source code. Refinement is a significant way for building complicated systems starting from simple ones by adding features gradually. Refinement has to be understood carefully in the context of formal specification and verification. This article provides a survey on some refinement techniques and methods and in the context of formal methods and software engineering. We believe that this survey sheds a light on the research direction in regards to the refinement of formal methods. This survey also helps formal methods practitioners and users in observing and understanding the advantages and limitations of refinements methods and techniques of various studied formal methods. Accordingly, they can decide which formal method is to be used in modelling systems via refinement or which formal method is to be extended with new concepts and notions to support refinement.
format Article
author Said, Mar Yah @ Mek Yah
Jasser, Muhammed Basheer
Abd Ghani, Abdul Azim
Din, Jamilah
spellingShingle Said, Mar Yah @ Mek Yah
Jasser, Muhammed Basheer
Abd Ghani, Abdul Azim
Din, Jamilah
A survey on refinement in formal methods and software engineering
author_facet Said, Mar Yah @ Mek Yah
Jasser, Muhammed Basheer
Abd Ghani, Abdul Azim
Din, Jamilah
author_sort Said, Mar Yah @ Mek Yah
title A survey on refinement in formal methods and software engineering
title_short A survey on refinement in formal methods and software engineering
title_full A survey on refinement in formal methods and software engineering
title_fullStr A survey on refinement in formal methods and software engineering
title_full_unstemmed A survey on refinement in formal methods and software engineering
title_sort survey on refinement in formal methods and software engineering
publisher The World Academy of Research in Science and Engineering
publishDate 2019
url http://psasir.upm.edu.my/id/eprint/80509/1/FORMAL.pdf
http://psasir.upm.edu.my/id/eprint/80509/
http://www.warse.org/IJATCSE/static/pdf/file/ijatcse16814sl2019.pdf
_version_ 1683232228749869056
score 13.211869

Similar Items