Legacy Model Reconfiguration Using Graph-Theoretic
We present a theory of software model preservation and isomorphism (enhancement) and proving correctness of model of reengineering using graph and set theory (GS). A lot of software applications will be in the legacy state every five years as a result of changes in technology and business processes....
| Main Author: | |
|---|---|
| Format: | Citation Index Journal |
| Language: | English |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://scholars.utp.edu.my/id/eprint/2599/ http://scholars.utp.edu.my/id/eprint/2599/1/20081125.pdf |
| _version_ | 1848659272654651392 |
|---|---|
| author | Azween, Abdullah |
| author_facet | Azween, Abdullah |
| author_sort | Azween, Abdullah |
| building | UTP Institutional Repository |
| collection | Online Access |
| description | We present a theory of software model preservation and isomorphism (enhancement) and proving correctness of model of reengineering using graph and set theory (GS). A lot of software applications will be in the legacy state every five years as a result of changes in technology and business processes. Modeling has become a de facto standard in software engineering. Developing, deriving from existing models, composing and proving correctness of models are part and parcel of the software development process. We describe a specification technique that combines the methods of adaptive modeling and model composition. |
| first_indexed | 2025-11-13T07:27:48Z |
| format | Citation Index Journal |
| id | oai:scholars.utp.edu.my:2599 |
| institution | Universiti Teknologi Petronas |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-13T07:27:48Z |
| publishDate | 2008 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | oai:scholars.utp.edu.my:25992017-01-19T08:26:05Z http://scholars.utp.edu.my/id/eprint/2599/ Legacy Model Reconfiguration Using Graph-Theoretic Azween, Abdullah QA75 Electronic computers. Computer science We present a theory of software model preservation and isomorphism (enhancement) and proving correctness of model of reengineering using graph and set theory (GS). A lot of software applications will be in the legacy state every five years as a result of changes in technology and business processes. Modeling has become a de facto standard in software engineering. Developing, deriving from existing models, composing and proving correctness of models are part and parcel of the software development process. We describe a specification technique that combines the methods of adaptive modeling and model composition. 2008-11 Citation Index Journal PeerReviewed application/pdf en http://scholars.utp.edu.my/id/eprint/2599/1/20081125.pdf Azween, Abdullah (2008) Legacy Model Reconfiguration Using Graph-Theoretic. [Citation Index Journal] |
| spellingShingle | QA75 Electronic computers. Computer science Azween, Abdullah Legacy Model Reconfiguration Using Graph-Theoretic |
| title | Legacy Model Reconfiguration Using Graph-Theoretic |
| title_full | Legacy Model Reconfiguration Using Graph-Theoretic |
| title_fullStr | Legacy Model Reconfiguration Using Graph-Theoretic |
| title_full_unstemmed | Legacy Model Reconfiguration Using Graph-Theoretic |
| title_short | Legacy Model Reconfiguration Using Graph-Theoretic |
| title_sort | legacy model reconfiguration using graph-theoretic |
| topic | QA75 Electronic computers. Computer science |
| url | http://scholars.utp.edu.my/id/eprint/2599/ http://scholars.utp.edu.my/id/eprint/2599/1/20081125.pdf |