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...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://shdl.mmu.edu.my/3402/ |
| _version_ | 1848790317767065600 |
|---|---|
| author | Taibi , Fathi |
| author_facet | Taibi , Fathi |
| author_sort | Taibi , Fathi |
| building | MMU Institutional Repository |
| collection | Online Access |
| 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. |
| first_indexed | 2025-11-14T18:10:42Z |
| format | Thesis |
| id | mmu-3402 |
| institution | Multimedia University |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:10:42Z |
| publishDate | 2010 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | mmu-34022012-03-23T04:46:54Z http://shdl.mmu.edu.my/3402/ Framework For Merging Object-Oriented Formal Specifications 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 NonPeerReviewed Taibi , Fathi (2010) Framework For Merging Object-Oriented Formal Specifications. PhD thesis, University of Multimedia. http://vlib.mmu.edu.my/diglib/login/dlusr/login.php |
| spellingShingle | QA76.75-76.765 Computer software Taibi , Fathi Framework For Merging Object-Oriented Formal Specifications |
| title | 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_short | Framework For Merging Object-Oriented Formal Specifications |
| title_sort | framework for merging object-oriented formal specifications |
| topic | QA76.75-76.765 Computer software |
| url | http://shdl.mmu.edu.my/3402/ http://shdl.mmu.edu.my/3402/ |