Validation of Component based Software Development Model using Formal B-Method

IT industry in the present market situation faces high demand for performance and burgeoning user expectations; with the pressure manifesting itself in three forms - Development Cost, Time-to-market and Product Quality. One of the relevant techniques in this context is Component Based Software Devel...

Full description

Saved in:
Bibliographic Details
Published in:International journal of computer applications 2013-01, Vol.67 (9), p.24-35
Main Authors: Khan, Asif Irshad, Alam, Md Mottahir, Khan, Usman Ali
Format: Article
Language:English
Subjects:
Computer simulation
Cost engineering
Information technology
Marketing
Markets
Methodology
Phases
Software development
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:IT industry in the present market situation faces high demand for performance and burgeoning user expectations; with the pressure manifesting itself in three forms - Development Cost, Time-to-market and Product Quality. One of the relevant techniques in this context is Component Based Software Development (CBSD) with a targeted and discriminative approach influencing all phases of development. Although this approach offers great benefits of reusing ready-made components such as reducing time-to-market products and development costs, it also poses serious questions on the correctness of created systems. In this paper a methodology is proposed using a formal B-method approach, which supports formal stepwise development with refinement to model component-based systems in view of interaction among components. The proposed methodology is illustrated by a case study; Atelier B. is used to generate proof obligations and executable code automatically.
ISSN:0975-8887
0975-8887
DOI:10.5120/11423-6768