Browse

The Virtual University, Pakistan’s first University based completely on modern Information and Communication Technologies, was established by the Government as a public sector, not-for-profit institution with a clear mission: to provide extremely affordable world class education to aspiring students all over the country.

Using free-to-air satellite television broadcasts and the Internet, the Virtual University allows students to follow its rigorous programs regardless of their physical locations. It thus aims at alleviating the lack of capacity in the existing universities while simultaneously tackling the acute shortage of qualified professors in the country. By identifying the top Professors of the country, regardless of their institutional affiliations, and requesting them to develop and deliver hand-crafted courses, the Virtual University aims at providing the very best courses to not only its own students but also to students of all other universities in the country.

  1. Home
  2. Thesis Detail

Mapping Formal Methods to Agile Methods – A Futuristic Approach

Download

Author: TASMIA

Citable URI : https://vspace.vu.edu.pk/detail.aspx?id=21

Publisher : Virtual University of Pakistan

Date Issued: 6/10/2014 12:00:00 AM

Abstract

The agile methodologies gain acceptance in last few years. There are two primary reasons, this method better satisfies the customer needs and do accept the changing requirements conveniently. The Formal Methods (FM) being considered tough and costly and are not widely used by the software engineers. In the past few years, there is lot of research work done in combining both the agile methods and Formal Methods. It is a promising contract to combine both of them. If agile and Formal techniques are combined in a fruitful way then they render closer to the prefect results. The Formal Methods are mostly applied to the safety critical software. A mixture of these two techniques comparatively delivers accurate and precise results for software development team, while ensuring the efficiency and appropriateness of software projects. The Formal Methods applied to the Scrum give wonderful results. There is a need to integrate the Formal Methods with agile process models to make them formal, versatile and improve results. Extreme Programming (XP) is mostly used for smaller projects deal with small team size and it is supposed that XP is not good choice for large project because it suffers from lack of documentation. There is a need to improve XP to use is for large projects, and for safety critical systems. For this purpose a futuristic approach for combining Formal Methods with agile methodologies, will be formulated in this research. A futuristic approach is formulated by mapping the Formal Methods to the XP. This approach will make it easier, less time-consuming and in some way less costly to apply combination of Formal Methods with XP to ensure correctness and appropriateness of the product. Let it be used for the development of safety critical systems. We map Software Cost Reduction to specify requirements formally; algebraic specification will be used before coding and Design by Contract (DbC) for safety critical system at testing on XP.


URI : https://vspace.vu.edu.pk/details.aspx?id=21

Citation: Tasmia (2014). Mapping Formal Methods to Agile Methods – A Futuristic Approach. Virtual University of Pakistan, (Lahore, Pakistan).

Version : Final Version

Terms of Use : All the material and results are copyright of Virtual University of Pakistan

Detailed Terms :

Journal :

Files in this item
Name Size Format
Spring 2014_CS720_ms110400103.pdf 1166kb pdf

Copyright 2016 © Virtual University of Pakistan