Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024550980> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2024550980 endingPage "204" @default.
- W2024550980 startingPage "183" @default.
- W2024550980 abstract "As software is increasingly used to control safety-critical systems, correctness becomes paramount. Formal methods in software development provide many benefits in the forward engineering aspect of software development. Reverse engineering is the process of constructing a high-level representation of a system from existing lower level instanti-ations of that system. Reverse engineering of program code into formal specifications facilitates the utilization of the benefits of formal methods in projects where formal methods may not have previously been used, thus facilitating the maintenance of safety-critical systems." @default.
- W2024550980 created "2016-06-24" @default.
- W2024550980 creator A5047852703 @default.
- W2024550980 creator A5077217800 @default.
- W2024550980 date "1994-06-01" @default.
- W2024550980 modified "2023-09-26" @default.
- W2024550980 title "FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS" @default.
- W2024550980 cites W1583095677 @default.
- W2024550980 cites W1969804825 @default.
- W2024550980 cites W2004158097 @default.
- W2024550980 cites W2077359497 @default.
- W2024550980 cites W2099293367 @default.
- W2024550980 cites W2100505193 @default.
- W2024550980 cites W2103953153 @default.
- W2024550980 cites W2106810018 @default.
- W2024550980 cites W2134513484 @default.
- W2024550980 cites W2147543351 @default.
- W2024550980 cites W2792939069 @default.
- W2024550980 cites W2805366091 @default.
- W2024550980 cites W3146075203 @default.
- W2024550980 doi "https://doi.org/10.1142/s0218194094000106" @default.
- W2024550980 hasPublicationYear "1994" @default.
- W2024550980 type Work @default.
- W2024550980 sameAs 2024550980 @default.
- W2024550980 citedByCount "7" @default.
- W2024550980 countsByYear W20245509802023 @default.
- W2024550980 crossrefType "journal-article" @default.
- W2024550980 hasAuthorship W2024550980A5047852703 @default.
- W2024550980 hasAuthorship W2024550980A5077217800 @default.
- W2024550980 hasConcept C115903868 @default.
- W2024550980 hasConcept C116253237 @default.
- W2024550980 hasConcept C127413603 @default.
- W2024550980 hasConcept C163707989 @default.
- W2024550980 hasConcept C199360897 @default.
- W2024550980 hasConcept C201995342 @default.
- W2024550980 hasConcept C207850805 @default.
- W2024550980 hasConcept C2777904410 @default.
- W2024550980 hasConcept C41008148 @default.
- W2024550980 hasConcept C529173508 @default.
- W2024550980 hasConcept C55439883 @default.
- W2024550980 hasConcept C75606506 @default.
- W2024550980 hasConceptScore W2024550980C115903868 @default.
- W2024550980 hasConceptScore W2024550980C116253237 @default.
- W2024550980 hasConceptScore W2024550980C127413603 @default.
- W2024550980 hasConceptScore W2024550980C163707989 @default.
- W2024550980 hasConceptScore W2024550980C199360897 @default.
- W2024550980 hasConceptScore W2024550980C201995342 @default.
- W2024550980 hasConceptScore W2024550980C207850805 @default.
- W2024550980 hasConceptScore W2024550980C2777904410 @default.
- W2024550980 hasConceptScore W2024550980C41008148 @default.
- W2024550980 hasConceptScore W2024550980C529173508 @default.
- W2024550980 hasConceptScore W2024550980C55439883 @default.
- W2024550980 hasConceptScore W2024550980C75606506 @default.
- W2024550980 hasIssue "02" @default.
- W2024550980 hasLocation W20245509801 @default.
- W2024550980 hasOpenAccess W2024550980 @default.
- W2024550980 hasPrimaryLocation W20245509801 @default.
- W2024550980 hasRelatedWork W1509154515 @default.
- W2024550980 hasRelatedWork W1614816533 @default.
- W2024550980 hasRelatedWork W1911633385 @default.
- W2024550980 hasRelatedWork W2024218563 @default.
- W2024550980 hasRelatedWork W2077629733 @default.
- W2024550980 hasRelatedWork W2109365894 @default.
- W2024550980 hasRelatedWork W2170202548 @default.
- W2024550980 hasRelatedWork W4250105839 @default.
- W2024550980 hasRelatedWork W8925976 @default.
- W2024550980 hasRelatedWork W20687296 @default.
- W2024550980 hasVolume "04" @default.
- W2024550980 isParatext "false" @default.
- W2024550980 isRetracted "false" @default.
- W2024550980 magId "2024550980" @default.
- W2024550980 workType "article" @default.