Matches in SemOpenAlex for { <https://semopenalex.org/work/W4328111506> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4328111506 abstract "Abstract At present, formal methods significantly facilitate the specification and verification of security requirements in requirement engineering, which can reduce requirement errors in the early stage of system development. Extracting formal specifications from security requirements and then evaluating the quality of the requirements are regarded as a promising solution to ensure software quality. Propositional projection temporal logic (PPTL) with a strong mathematical basis and full regular expressiveness is a suitable language for formal specifications. Inspired by natural language processing and text mining techniques, this paper designs and implements a tool, namely, NL2PPTL, to generate formal coarse‐grained and fine‐grained specifications in terms of PPTL formulas automatically. In specific, the grammatical production rules are defined to construct the syntax tree, and then, the formula is obtained by post‐order traversal of the tree. The satisfiability of the PPTL specifications can be checked utilizing PPTLSAT. In addition, the state transformation model is constructed from fine‐grained specifications, so as to discover scope conflicts and verify the security properties of the requirement case." @default.
- W4328111506 created "2023-03-22" @default.
- W4328111506 creator A5012788495 @default.
- W4328111506 creator A5012808924 @default.
- W4328111506 creator A5063102375 @default.
- W4328111506 date "2023-03-20" @default.
- W4328111506 modified "2023-10-17" @default.
- W4328111506 title "Requirement specification extraction and analysis based on propositional projection temporal logic" @default.
- W4328111506 cites W1557866006 @default.
- W4328111506 cites W1835747325 @default.
- W4328111506 cites W1984936841 @default.
- W4328111506 cites W1996832037 @default.
- W4328111506 cites W2001006503 @default.
- W4328111506 cites W2004796166 @default.
- W4328111506 cites W2037296871 @default.
- W4328111506 cites W2050552305 @default.
- W4328111506 cites W2101044066 @default.
- W4328111506 cites W2171627300 @default.
- W4328111506 cites W2266628809 @default.
- W4328111506 cites W2345350761 @default.
- W4328111506 cites W2513840768 @default.
- W4328111506 cites W2518283397 @default.
- W4328111506 cites W2604190760 @default.
- W4328111506 cites W2883923596 @default.
- W4328111506 cites W2916349291 @default.
- W4328111506 cites W2946741689 @default.
- W4328111506 cites W2950176007 @default.
- W4328111506 cites W2964111087 @default.
- W4328111506 cites W3036041789 @default.
- W4328111506 cites W3036637702 @default.
- W4328111506 cites W3036969520 @default.
- W4328111506 cites W3116016166 @default.
- W4328111506 cites W3142765463 @default.
- W4328111506 cites W3153389197 @default.
- W4328111506 cites W3166521255 @default.
- W4328111506 cites W3171382545 @default.
- W4328111506 cites W4205412112 @default.
- W4328111506 cites W4296471858 @default.
- W4328111506 doi "https://doi.org/10.1002/smr.2558" @default.
- W4328111506 hasPublicationYear "2023" @default.
- W4328111506 type Work @default.
- W4328111506 citedByCount "0" @default.
- W4328111506 crossrefType "journal-article" @default.
- W4328111506 hasAuthorship W4328111506A5012788495 @default.
- W4328111506 hasAuthorship W4328111506A5012808924 @default.
- W4328111506 hasAuthorship W4328111506A5063102375 @default.
- W4328111506 hasConcept C102780508 @default.
- W4328111506 hasConcept C111498074 @default.
- W4328111506 hasConcept C115903868 @default.
- W4328111506 hasConcept C116253237 @default.
- W4328111506 hasConcept C140745168 @default.
- W4328111506 hasConcept C168773769 @default.
- W4328111506 hasConcept C199360897 @default.
- W4328111506 hasConcept C25016198 @default.
- W4328111506 hasConcept C2777904410 @default.
- W4328111506 hasConcept C2780801425 @default.
- W4328111506 hasConcept C41008148 @default.
- W4328111506 hasConcept C52913732 @default.
- W4328111506 hasConcept C529173508 @default.
- W4328111506 hasConcept C69562738 @default.
- W4328111506 hasConcept C75606506 @default.
- W4328111506 hasConcept C80444323 @default.
- W4328111506 hasConcept C84651959 @default.
- W4328111506 hasConceptScore W4328111506C102780508 @default.
- W4328111506 hasConceptScore W4328111506C111498074 @default.
- W4328111506 hasConceptScore W4328111506C115903868 @default.
- W4328111506 hasConceptScore W4328111506C116253237 @default.
- W4328111506 hasConceptScore W4328111506C140745168 @default.
- W4328111506 hasConceptScore W4328111506C168773769 @default.
- W4328111506 hasConceptScore W4328111506C199360897 @default.
- W4328111506 hasConceptScore W4328111506C25016198 @default.
- W4328111506 hasConceptScore W4328111506C2777904410 @default.
- W4328111506 hasConceptScore W4328111506C2780801425 @default.
- W4328111506 hasConceptScore W4328111506C41008148 @default.
- W4328111506 hasConceptScore W4328111506C52913732 @default.
- W4328111506 hasConceptScore W4328111506C529173508 @default.
- W4328111506 hasConceptScore W4328111506C69562738 @default.
- W4328111506 hasConceptScore W4328111506C75606506 @default.
- W4328111506 hasConceptScore W4328111506C80444323 @default.
- W4328111506 hasConceptScore W4328111506C84651959 @default.
- W4328111506 hasFunder F4320321001 @default.
- W4328111506 hasFunder F4320336350 @default.
- W4328111506 hasLocation W43281115061 @default.
- W4328111506 hasOpenAccess W4328111506 @default.
- W4328111506 hasPrimaryLocation W43281115061 @default.
- W4328111506 hasRelatedWork W1528027622 @default.
- W4328111506 hasRelatedWork W1547699668 @default.
- W4328111506 hasRelatedWork W2022006518 @default.
- W4328111506 hasRelatedWork W2057728388 @default.
- W4328111506 hasRelatedWork W2063689802 @default.
- W4328111506 hasRelatedWork W2089969866 @default.
- W4328111506 hasRelatedWork W2101507916 @default.
- W4328111506 hasRelatedWork W2106448774 @default.
- W4328111506 hasRelatedWork W2466702713 @default.
- W4328111506 hasRelatedWork W592418611 @default.
- W4328111506 isParatext "false" @default.
- W4328111506 isRetracted "false" @default.
- W4328111506 workType "article" @default.