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...
Saved in:
Main Author: | |
---|---|
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 |