Matches in SemOpenAlex for { <https://semopenalex.org/work/W86071054> ?p ?o ?g. }
- W86071054 abstract "This thesis describes a novel method for perfective maintenance of software which has been developed from specifications using formal transformations. The list of applied transformations provides a suitable derivation history to use when changes are made to the software. The method uses transformations which have been implemented in a tool called the Maintainer's Assistant for the purposes of restructuring code. The method uses these transformations for refinement. Comparisons are made between sequential transformations, refinement calculi and standard proof based refinement techniques for providing a suitable derivation history to use when changes are made in the requirements of a system. Two case studies are presented upon which these comparisons are based and on which the method is tested. Criteria such as saleability, speed, ease, design improvements and software quality is used to argue that transformations are a more favourable basis of refinement. Metrics are used to evaluate the complexity of the code developed using the method. Conclusions of how to develop different types of specifications into code and on how best to apply various changes are presented. An approach which is recommended is to use transformations for splitting the specification so that original refinement paths can still be used. Using transformations for refining a specification and recording this path produces software of a better structure and of higher maintainability. Having such a path improves the speed and ease of future alterations to the system. This is more cost effective than redeveloping the software from a new specification." @default.
- W86071054 created "2016-06-24" @default.
- W86071054 creator A5046180598 @default.
- W86071054 date "1994-01-01" @default.
- W86071054 modified "2023-09-27" @default.
- W86071054 title "A method for maintaining new software" @default.
- W86071054 cites W106126823 @default.
- W86071054 cites W115148508 @default.
- W86071054 cites W130593649 @default.
- W86071054 cites W1485132253 @default.
- W86071054 cites W1505381032 @default.
- W86071054 cites W1505648523 @default.
- W86071054 cites W1537314335 @default.
- W86071054 cites W1544035560 @default.
- W86071054 cites W1563189921 @default.
- W86071054 cites W1575961892 @default.
- W86071054 cites W1579167839 @default.
- W86071054 cites W1590686765 @default.
- W86071054 cites W1606787793 @default.
- W86071054 cites W1607905993 @default.
- W86071054 cites W1613262050 @default.
- W86071054 cites W1849168643 @default.
- W86071054 cites W1964962870 @default.
- W86071054 cites W1970495662 @default.
- W86071054 cites W1980767016 @default.
- W86071054 cites W1988901815 @default.
- W86071054 cites W1995613177 @default.
- W86071054 cites W2002337657 @default.
- W86071054 cites W2006267758 @default.
- W86071054 cites W2009906188 @default.
- W86071054 cites W2011184850 @default.
- W86071054 cites W2014243053 @default.
- W86071054 cites W2021481978 @default.
- W86071054 cites W2023299380 @default.
- W86071054 cites W2028806953 @default.
- W86071054 cites W2030658422 @default.
- W86071054 cites W2035169567 @default.
- W86071054 cites W2039631300 @default.
- W86071054 cites W2042920040 @default.
- W86071054 cites W2045057107 @default.
- W86071054 cites W2045749853 @default.
- W86071054 cites W2048993055 @default.
- W86071054 cites W2051113166 @default.
- W86071054 cites W2064984147 @default.
- W86071054 cites W2066210260 @default.
- W86071054 cites W2074562477 @default.
- W86071054 cites W2075825006 @default.
- W86071054 cites W2077271799 @default.
- W86071054 cites W2082970543 @default.
- W86071054 cites W2094837773 @default.
- W86071054 cites W2094873755 @default.
- W86071054 cites W2103953153 @default.
- W86071054 cites W2117331238 @default.
- W86071054 cites W2120704737 @default.
- W86071054 cites W2130060711 @default.
- W86071054 cites W2143232930 @default.
- W86071054 cites W2144973245 @default.
- W86071054 cites W2154774499 @default.
- W86071054 cites W2167881892 @default.
- W86071054 cites W2171816001 @default.
- W86071054 cites W2173469511 @default.
- W86071054 cites W2178329527 @default.
- W86071054 cites W2180379667 @default.
- W86071054 cites W2293270779 @default.
- W86071054 cites W2293624369 @default.
- W86071054 cites W2487202093 @default.
- W86071054 cites W2911883845 @default.
- W86071054 cites W2913217271 @default.
- W86071054 cites W3146075203 @default.
- W86071054 cites W349173524 @default.
- W86071054 cites W561681129 @default.
- W86071054 cites W644252553 @default.
- W86071054 cites W1888685188 @default.
- W86071054 hasPublicationYear "1994" @default.
- W86071054 type Work @default.
- W86071054 sameAs 86071054 @default.
- W86071054 citedByCount "1" @default.
- W86071054 crossrefType "dissertation" @default.
- W86071054 hasAuthorship W86071054A5046180598 @default.
- W86071054 hasConcept C115903868 @default.
- W86071054 hasConcept C160713754 @default.
- W86071054 hasConcept C177264268 @default.
- W86071054 hasConcept C199360897 @default.
- W86071054 hasConcept C2776760102 @default.
- W86071054 hasConcept C2777735758 @default.
- W86071054 hasConcept C2777904410 @default.
- W86071054 hasConcept C41008148 @default.
- W86071054 hasConceptScore W86071054C115903868 @default.
- W86071054 hasConceptScore W86071054C160713754 @default.
- W86071054 hasConceptScore W86071054C177264268 @default.
- W86071054 hasConceptScore W86071054C199360897 @default.
- W86071054 hasConceptScore W86071054C2776760102 @default.
- W86071054 hasConceptScore W86071054C2777735758 @default.
- W86071054 hasConceptScore W86071054C2777904410 @default.
- W86071054 hasConceptScore W86071054C41008148 @default.
- W86071054 hasLocation W860710541 @default.
- W86071054 hasOpenAccess W86071054 @default.
- W86071054 hasPrimaryLocation W860710541 @default.
- W86071054 hasRelatedWork W138353657 @default.
- W86071054 hasRelatedWork W1509116926 @default.