FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W60414728> ?p ?o ?g. }

• W60414728 abstract "Many well-documented computer failures have been attributed to software. Some of the most notable incidents include the catastrophic failures of the Therac-25 and the Ariane 5 spacecraft. A commonly overlooked aspect of these failures has been the fact that both were the result of an improper reengineering of software from one version to another.The failure to correctly analyze software in both the Therac-25 and Ariane 5 resulted in catastrophic events that led to loss of life and property. These examples vividly illustrate the need for sophisticated and systematic methods for maintaining software in order to understand their functionality.Reverse engineering of program code is the process of examining components and component interrelationships in order to construct a high-level abstraction of an implementation. Reengineering is the process of examination, understanding, and alteration of a system with the intent of implementing the system in a new form. Software reengineering is considered to be a better solution for handling legacy code as opposed to developing software from the original requirements. Since much of the functionality of the existing software has been achieved over a period of time, it must be preserved for many reasons, including providing continuity to current users of the software.This research focuses on three primary contributions to the areas of software engineering and software maintenance. First, we have developed a technique for the construction of as-built formal specifications from program code using the strongest postcondition predicate transformer. Second, we have developed a formal technique for introducing abstraction into as-built specifications with the intent of obtaining design level specifications. Third, we have used the formal technique to support program understanding and software reuse activities." @default.
• W60414728 created "2016-06-24" @default.
• W60414728 creator A5047852703 @default.
• W60414728 creator A5077217800 @default.
• W60414728 date "1998-01-01" @default.
• W60414728 modified "2023-09-27" @default.
• W60414728 title "Integrating informal and formal techniques to reverse engineer imperative programs" @default.
• W60414728 cites W1489434049 @default.
• W60414728 cites W1492953877 @default.
• W60414728 cites W1498010021 @default.
• W60414728 cites W1508357244 @default.
• W60414728 cites W1511110335 @default.
• W60414728 cites W1528900342 @default.
• W60414728 cites W1583095677 @default.
• W60414728 cites W1592347886 @default.
• W60414728 cites W1789649838 @default.
• W60414728 cites W18443343 @default.
• W60414728 cites W1900721122 @default.
• W60414728 cites W1936022305 @default.
• W60414728 cites W1964806255 @default.
• W60414728 cites W1972093810 @default.
• W60414728 cites W1973250578 @default.
• W60414728 cites W1976886499 @default.
• W60414728 cites W1983520997 @default.
• W60414728 cites W1990346177 @default.
• W60414728 cites W1992910442 @default.
• W60414728 cites W2006267758 @default.
• W60414728 cites W2020841721 @default.
• W60414728 cites W2021672791 @default.
• W60414728 cites W2022583637 @default.
• W60414728 cites W2068258563 @default.
• W60414728 cites W2075913776 @default.
• W60414728 cites W2088321462 @default.
• W60414728 cites W2100505193 @default.
• W60414728 cites W2102572938 @default.
• W60414728 cites W2103953153 @default.
• W60414728 cites W2104830231 @default.
• W60414728 cites W2105846040 @default.
• W60414728 cites W2109263903 @default.
• W60414728 cites W2113318176 @default.
• W60414728 cites W2115912902 @default.
• W60414728 cites W2116223423 @default.
• W60414728 cites W2117216120 @default.
• W60414728 cites W2118023438 @default.
• W60414728 cites W2131135493 @default.
• W60414728 cites W2134342348 @default.
• W60414728 cites W2134435800 @default.
• W60414728 cites W2134513484 @default.
• W60414728 cites W2134587356 @default.
• W60414728 cites W2137637500 @default.
• W60414728 cites W2138670633 @default.
• W60414728 cites W2147543351 @default.
• W60414728 cites W2151220562 @default.
• W60414728 cites W2163488221 @default.
• W60414728 cites W2163918908 @default.
• W60414728 cites W2165871256 @default.
• W60414728 cites W2169348520 @default.
• W60414728 cites W2170158847 @default.
• W60414728 cites W2170486381 @default.
• W60414728 cites W2178077713 @default.
• W60414728 cites W2293624369 @default.
• W60414728 cites W2295244175 @default.
• W60414728 cites W2399376905 @default.
• W60414728 cites W2502504728 @default.
• W60414728 cites W2987803397 @default.
• W60414728 cites W3146075203 @default.
• W60414728 cites W3189142755 @default.
• W60414728 cites W78675725 @default.
• W60414728 hasPublicationYear "1998" @default.
• W60414728 type Work @default.
• W60414728 sameAs 60414728 @default.
• W60414728 citedByCount "2" @default.
• W60414728 crossrefType "journal-article" @default.
• W60414728 hasAuthorship W60414728A5047852703 @default.
• W60414728 hasAuthorship W60414728A5077217800 @default.
• W60414728 hasConcept C115903868 @default.
• W60414728 hasConcept C149091818 @default.
• W60414728 hasConcept C186846655 @default.
• W60414728 hasConcept C199360897 @default.
• W60414728 hasConcept C207850805 @default.
• W60414728 hasConcept C2777904410 @default.
• W60414728 hasConcept C41008148 @default.
• W60414728 hasConcept C529173508 @default.
• W60414728 hasConceptScore W60414728C115903868 @default.
• W60414728 hasConceptScore W60414728C149091818 @default.
• W60414728 hasConceptScore W60414728C186846655 @default.
• W60414728 hasConceptScore W60414728C199360897 @default.
• W60414728 hasConceptScore W60414728C207850805 @default.
• W60414728 hasConceptScore W60414728C2777904410 @default.
• W60414728 hasConceptScore W60414728C41008148 @default.
• W60414728 hasConceptScore W60414728C529173508 @default.
• W60414728 hasLocation W604147281 @default.
• W60414728 hasOpenAccess W60414728 @default.
• W60414728 hasPrimaryLocation W604147281 @default.
• W60414728 hasRelatedWork W14452087 @default.
• W60414728 hasRelatedWork W1966080916 @default.
• W60414728 hasRelatedWork W1979132733 @default.
• W60414728 hasRelatedWork W2055400672 @default.
• W60414728 hasRelatedWork W206715732 @default.
• W60414728 hasRelatedWork W2212672603 @default.

• next