@inproceedings{paperid:1036116,
author = {Rasoolzadegan, Abbas and Ahmad Abdollahzadeh Barforoush},
title = {A New Approach to Reliable, yet Flexible Software},
booktitle = {the 18th CAiSE Doctoral Consortium},
year = {2011},
location = {لندن, ENGLAND},
keywords = {Developing reliable; yet flexible software is a hard problem. Formal methods take a precise approach to software development; delivering reliable software; however; in addition to high cost involvements; they require a level of expertise that is not common in commercial development communities. These limitations lead to decreasing their practicality. Semi-formal methods; which are widely used in practical large-scale software development; do not take a rigorous approach to reliability of software in development. Investigation of advantages and limitations of semi-formal and formal methods; theoretically (by surveying the literature) and empirically (by defining a suitable case study); shows that combination of both methods ensures achieving high quality models which in turn lead to flexibility and more reliable software. This work proposes a new approach to integrate formal (Object-Z) and semi-formal (UML) notations using a bidirectional; precise; and consistent meta-model-based transformation. Accordingly; software is initially modeled using Object-Z. These formal models; along with formal refinement ensure reliability. With an iterative and evolutionary approach; formal models are visualized in UML. Applying design patterns on visualized models improves flexibility. The improved models are then re-formalized.},
}

[Download]

%0 Conference Proceedings
%T A New Approach to Reliable, yet Flexible Software
%A Rasoolzadegan, Abbas
%A Ahmad Abdollahzadeh Barforoush
%J the 18th CAiSE Doctoral Consortium
%D 2011

[Download]