Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145217397> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2145217397 abstract "Describes using cascading of two existing tools: Hyperbook for source code analysis to facilitate software understanding, and PARAGON, for static analysis of safety-critical real-time systems. The goal is to provide an efficient and scalable toolset that minimizes human interaction during analysis. The toolset operates directly on source code without the need for the user to come up with initial or intermediate specification. Such a specification is constructed automatically during the analysis. The toolset is applicable to analysis of legacy software as well as to validation of new software. It is oriented towards exhaustive static analysis of software, without resorting to simulation. The source code together with the description of its architecture and environment are presented as input. Hyperbook produces a set of state machines that represent the static view of the code. The state machines serve as input to PARAGON. PARAGON reports interleaved events, which are used for software understanding and testing. It can detect flaws such as whether deadlocks are possible or if any catastrophic events may occur. PARAGON can produce diagnostic information that is used to identify the source of the problem. A major concern in software reengineering is the size of the source software. Hyperbook partitions the source code into software units that conform with the given architectural view. PARAGON's formal analysis is performed in a modular and hierarchical fashion." @default.
- W2145217397 created "2016-06-24" @default.
- W2145217397 creator A5014004171 @default.
- W2145217397 creator A5014632806 @default.
- W2145217397 creator A5053821270 @default.
- W2145217397 creator A5082105260 @default.
- W2145217397 date "2002-11-23" @default.
- W2145217397 modified "2023-09-25" @default.
- W2145217397 title "Retrospective exploration of safety properties in real-time concurrent systems" @default.
- W2145217397 cites W1485707770 @default.
- W2145217397 cites W2024748881 @default.
- W2145217397 cites W2123717426 @default.
- W2145217397 cites W2147248246 @default.
- W2145217397 doi "https://doi.org/10.1109/dasc.1997.635010" @default.
- W2145217397 hasPublicationYear "2002" @default.
- W2145217397 type Work @default.
- W2145217397 sameAs 2145217397 @default.
- W2145217397 citedByCount "0" @default.
- W2145217397 crossrefType "proceedings-article" @default.
- W2145217397 hasAuthorship W2145217397A5014004171 @default.
- W2145217397 hasAuthorship W2145217397A5014632806 @default.
- W2145217397 hasAuthorship W2145217397A5053821270 @default.
- W2145217397 hasAuthorship W2145217397A5082105260 @default.
- W2145217397 hasConcept C115903868 @default.
- W2145217397 hasConcept C121957198 @default.
- W2145217397 hasConcept C137287247 @default.
- W2145217397 hasConcept C149091818 @default.
- W2145217397 hasConcept C186846655 @default.
- W2145217397 hasConcept C199360897 @default.
- W2145217397 hasConcept C2777904410 @default.
- W2145217397 hasConcept C41008148 @default.
- W2145217397 hasConcept C43126263 @default.
- W2145217397 hasConcept C529173508 @default.
- W2145217397 hasConcept C97686452 @default.
- W2145217397 hasConceptScore W2145217397C115903868 @default.
- W2145217397 hasConceptScore W2145217397C121957198 @default.
- W2145217397 hasConceptScore W2145217397C137287247 @default.
- W2145217397 hasConceptScore W2145217397C149091818 @default.
- W2145217397 hasConceptScore W2145217397C186846655 @default.
- W2145217397 hasConceptScore W2145217397C199360897 @default.
- W2145217397 hasConceptScore W2145217397C2777904410 @default.
- W2145217397 hasConceptScore W2145217397C41008148 @default.
- W2145217397 hasConceptScore W2145217397C43126263 @default.
- W2145217397 hasConceptScore W2145217397C529173508 @default.
- W2145217397 hasConceptScore W2145217397C97686452 @default.
- W2145217397 hasLocation W21452173971 @default.
- W2145217397 hasOpenAccess W2145217397 @default.
- W2145217397 hasPrimaryLocation W21452173971 @default.
- W2145217397 hasRelatedWork W16631048 @default.
- W2145217397 hasRelatedWork W1911502767 @default.
- W2145217397 hasRelatedWork W2036727936 @default.
- W2145217397 hasRelatedWork W2189600031 @default.
- W2145217397 hasRelatedWork W2302670718 @default.
- W2145217397 hasRelatedWork W2343421102 @default.
- W2145217397 hasRelatedWork W2496654653 @default.
- W2145217397 hasRelatedWork W2534107961 @default.
- W2145217397 hasRelatedWork W2573532822 @default.
- W2145217397 hasRelatedWork W2599880209 @default.
- W2145217397 hasRelatedWork W2890905394 @default.
- W2145217397 hasRelatedWork W2901461314 @default.
- W2145217397 hasRelatedWork W2946039991 @default.
- W2145217397 hasRelatedWork W2970127562 @default.
- W2145217397 hasRelatedWork W2989319097 @default.
- W2145217397 hasRelatedWork W3091540127 @default.
- W2145217397 hasRelatedWork W3107950191 @default.
- W2145217397 hasRelatedWork W3108810412 @default.
- W2145217397 hasRelatedWork W3194304507 @default.
- W2145217397 hasRelatedWork W3196696977 @default.
- W2145217397 isParatext "false" @default.
- W2145217397 isRetracted "false" @default.
- W2145217397 magId "2145217397" @default.
- W2145217397 workType "article" @default.