Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038280905> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2038280905 endingPage "47" @default.
- W2038280905 startingPage "25" @default.
- W2038280905 abstract "There is a vast collection of operational software systems which are vitally important to their users, yet are becoming increasingly difficult to maintain, enhance, and keep up to date with rapidly changing requirements. For many of these so-called legacy systems, the option of throwing the system away and rewriting it from scratch is not economically viable. Methods are therefore urgently required which enable these systems to evolve in a controlled manner. The approach described in this paper uses formal proven program transformations, which preserve or refine the semantics of a program while changing its form. These transformations are applied to restructure and simplify the legacy systems and to extract higher-level representations. By using an appropriate sequence of transformations, the extracted representation is guaranteed to be equivalent to the code. The method is based on a formal wide spectrum language, called WSL, with an accompanying formal method. Over the last ten years we have developed a large catalog of proven transformations, together with mechanically verifiable applicability conditions. These have been applied to many software development, reverse engineering, and maintenance problems. In this paper, we focus on the results of using this approach in the reverse engineering of medium scale, industrial software, written mostly in languages such as assembler and JOVIAL. Results from both benchmark algorithms and heavily modified, geriatric software are summarized. We conclude that formal methods have an important practical role in software evolution." @default.
- W2038280905 created "2016-06-24" @default.
- W2038280905 creator A5011804963 @default.
- W2038280905 creator A5076832221 @default.
- W2038280905 date "1995-03-01" @default.
- W2038280905 modified "2023-10-06" @default.
- W2038280905 title "FORMAL METHODS TO AID THE EVOLUTION OF SOFTWARE" @default.
- W2038280905 cites W1546899032 @default.
- W2038280905 cites W1559314111 @default.
- W2038280905 cites W1579650087 @default.
- W2038280905 cites W1591439283 @default.
- W2038280905 cites W1602028627 @default.
- W2038280905 cites W1886137962 @default.
- W2038280905 cites W1989809426 @default.
- W2038280905 cites W1993152532 @default.
- W2038280905 cites W2011306767 @default.
- W2038280905 cites W2016000144 @default.
- W2038280905 cites W2045057107 @default.
- W2038280905 cites W2068352960 @default.
- W2038280905 cites W2087565681 @default.
- W2038280905 cites W2093464878 @default.
- W2038280905 cites W2115772852 @default.
- W2038280905 cites W2134513484 @default.
- W2038280905 cites W2151087342 @default.
- W2038280905 cites W29163854 @default.
- W2038280905 cites W598574529 @default.
- W2038280905 doi "https://doi.org/10.1142/s0218194095000034" @default.
- W2038280905 hasPublicationYear "1995" @default.
- W2038280905 type Work @default.
- W2038280905 sameAs 2038280905 @default.
- W2038280905 citedByCount "30" @default.
- W2038280905 countsByYear W20382809052012 @default.
- W2038280905 countsByYear W20382809052016 @default.
- W2038280905 countsByYear W20382809052017 @default.
- W2038280905 countsByYear W20382809052020 @default.
- W2038280905 crossrefType "journal-article" @default.
- W2038280905 hasAuthorship W2038280905A5011804963 @default.
- W2038280905 hasAuthorship W2038280905A5076832221 @default.
- W2038280905 hasBestOaLocation W20382809052 @default.
- W2038280905 hasConcept C105446022 @default.
- W2038280905 hasConcept C115903868 @default.
- W2038280905 hasConcept C149091818 @default.
- W2038280905 hasConcept C154690210 @default.
- W2038280905 hasConcept C186846655 @default.
- W2038280905 hasConcept C199360897 @default.
- W2038280905 hasConcept C202105479 @default.
- W2038280905 hasConcept C207850805 @default.
- W2038280905 hasConcept C2777904410 @default.
- W2038280905 hasConcept C41008148 @default.
- W2038280905 hasConcept C529173508 @default.
- W2038280905 hasConcept C75606506 @default.
- W2038280905 hasConceptScore W2038280905C105446022 @default.
- W2038280905 hasConceptScore W2038280905C115903868 @default.
- W2038280905 hasConceptScore W2038280905C149091818 @default.
- W2038280905 hasConceptScore W2038280905C154690210 @default.
- W2038280905 hasConceptScore W2038280905C186846655 @default.
- W2038280905 hasConceptScore W2038280905C199360897 @default.
- W2038280905 hasConceptScore W2038280905C202105479 @default.
- W2038280905 hasConceptScore W2038280905C207850805 @default.
- W2038280905 hasConceptScore W2038280905C2777904410 @default.
- W2038280905 hasConceptScore W2038280905C41008148 @default.
- W2038280905 hasConceptScore W2038280905C529173508 @default.
- W2038280905 hasConceptScore W2038280905C75606506 @default.
- W2038280905 hasIssue "01" @default.
- W2038280905 hasLocation W20382809051 @default.
- W2038280905 hasLocation W20382809052 @default.
- W2038280905 hasOpenAccess W2038280905 @default.
- W2038280905 hasPrimaryLocation W20382809051 @default.
- W2038280905 hasRelatedWork W1561298592 @default.
- W2038280905 hasRelatedWork W1608409474 @default.
- W2038280905 hasRelatedWork W1997032741 @default.
- W2038280905 hasRelatedWork W2110797730 @default.
- W2038280905 hasRelatedWork W2120215366 @default.
- W2038280905 hasRelatedWork W2145189955 @default.
- W2038280905 hasRelatedWork W2162913483 @default.
- W2038280905 hasRelatedWork W3048098173 @default.
- W2038280905 hasRelatedWork W2614558404 @default.
- W2038280905 hasRelatedWork W74626136 @default.
- W2038280905 hasVolume "05" @default.
- W2038280905 isParatext "false" @default.
- W2038280905 isRetracted "false" @default.
- W2038280905 magId "2038280905" @default.
- W2038280905 workType "article" @default.