Framework For Merging Object-Oriented Formal Specifications

Software development activities are highly collaborative since they involve several people working on different aspects of the same project. Most often, effective collaboration is the key to the success of a software project where development tasks are carried out in a distributed way and the result...

Full description

Saved in:
Bibliographic Details
Main Author: Taibi , Fathi
Format: Thesis
Published: 2010
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
id my-mmu-ep.3402
record_format uketd_dc
spelling my-mmu-ep.34022012-03-23T04:46:54Z Framework For Merging Object-Oriented Formal Specifications 2010-07 Taibi , Fathi QA76.75-76.765 Computer software Software development activities are highly collaborative since they involve several people working on different aspects of the same project. Most often, effective collaboration is the key to the success of a software project where development tasks are carried out in a distributed way and the resulting software documents are merged from time to time. Studies have shown that most of the problems with software projects are directly linked to problems with their requirements. Specifying these requirements is a highly complicated and error-prone phase involving several people specifying the requirements of various stakeholders where a shared specification undergoes continuous revisions through collaboration until reaching a version that satisfies the need of all the stakeholders. This raises the need for frameworks aimed at merging specifications in order to detect, process, and consolidate these revisions while maintaining consistency. 2010-07 Thesis http://shdl.mmu.edu.my/3402/ http://vlib.mmu.edu.my/diglib/login/dlusr/login.php phd doctoral University of Multimedia Research Library
institution Multimedia University
collection MMU Institutional Repository
topic QA76.75-76.765 Computer software
spellingShingle QA76.75-76.765 Computer software
Taibi , Fathi
Framework For Merging Object-Oriented Formal Specifications
description Software development activities are highly collaborative since they involve several people working on different aspects of the same project. Most often, effective collaboration is the key to the success of a software project where development tasks are carried out in a distributed way and the resulting software documents are merged from time to time. Studies have shown that most of the problems with software projects are directly linked to problems with their requirements. Specifying these requirements is a highly complicated and error-prone phase involving several people specifying the requirements of various stakeholders where a shared specification undergoes continuous revisions through collaboration until reaching a version that satisfies the need of all the stakeholders. This raises the need for frameworks aimed at merging specifications in order to detect, process, and consolidate these revisions while maintaining consistency.
format Thesis
qualification_name Doctor of Philosophy (PhD.)
qualification_level Doctorate
author Taibi , Fathi
author_facet Taibi , Fathi
author_sort Taibi , Fathi
title Framework For Merging Object-Oriented Formal Specifications
title_short Framework For Merging Object-Oriented Formal Specifications
title_full Framework For Merging Object-Oriented Formal Specifications
title_fullStr Framework For Merging Object-Oriented Formal Specifications
title_full_unstemmed Framework For Merging Object-Oriented Formal Specifications
title_sort framework for merging object-oriented formal specifications
granting_institution University of Multimedia
granting_department Research Library
publishDate 2010
_version_ 1747829489358864384