Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950176007> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2950176007 abstract "Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages. The challenge for the verification and validation of specifications arises from the syntax and semantic gap between different representations and the need of automatic tools. In this paper, we present a requirement-consistency maintenance framework to produce consistent representations. The first part is the automatic translation from natural languages describing functionalities to formal logic with an abstraction of time. It extends pure syntactic parsing by adding semantic reasoning and the support of partitioning input and output variables. The second part is the use of synthesis techniques to examine if the requirements are consistent in terms of realizability. When the process fails, the formulas that cause the inconsistency are reported to locate the problem." @default.
- W2950176007 created "2019-06-27" @default.
- W2950176007 creator A5007923079 @default.
- W2950176007 creator A5062192039 @default.
- W2950176007 creator A5066276883 @default.
- W2950176007 creator A5066292729 @default.
- W2950176007 date "2015-01-01" @default.
- W2950176007 modified "2023-09-27" @default.
- W2950176007 title "Formal Consistency Checking over Specifications in Natural Languages" @default.
- W2950176007 cites W143039783 @default.
- W2950176007 cites W1436046237 @default.
- W2950176007 cites W1508977358 @default.
- W2950176007 cites W1836317845 @default.
- W2950176007 cites W2001006503 @default.
- W2950176007 cites W2016206563 @default.
- W2950176007 cites W2023808162 @default.
- W2950176007 cites W2072082216 @default.
- W2950176007 cites W2111299652 @default.
- W2950176007 cites W2117411048 @default.
- W2950176007 cites W2125708466 @default.
- W2950176007 cites W2134908243 @default.
- W2950176007 cites W2139158240 @default.
- W2950176007 cites W2151451947 @default.
- W2950176007 cites W3023554972 @default.
- W2950176007 doi "https://doi.org/10.7873/date.2015.0452" @default.
- W2950176007 hasPublicationYear "2015" @default.
- W2950176007 type Work @default.
- W2950176007 sameAs 2950176007 @default.
- W2950176007 citedByCount "22" @default.
- W2950176007 countsByYear W29501760072015 @default.
- W2950176007 countsByYear W29501760072016 @default.
- W2950176007 countsByYear W29501760072017 @default.
- W2950176007 countsByYear W29501760072018 @default.
- W2950176007 countsByYear W29501760072019 @default.
- W2950176007 countsByYear W29501760072020 @default.
- W2950176007 countsByYear W29501760072021 @default.
- W2950176007 countsByYear W29501760072022 @default.
- W2950176007 countsByYear W29501760072023 @default.
- W2950176007 crossrefType "proceedings-article" @default.
- W2950176007 hasAuthorship W2950176007A5007923079 @default.
- W2950176007 hasAuthorship W2950176007A5062192039 @default.
- W2950176007 hasAuthorship W2950176007A5066276883 @default.
- W2950176007 hasAuthorship W2950176007A5066292729 @default.
- W2950176007 hasBestOaLocation W29501760072 @default.
- W2950176007 hasConcept C107457646 @default.
- W2950176007 hasConcept C111472728 @default.
- W2950176007 hasConcept C116253237 @default.
- W2950176007 hasConcept C124304363 @default.
- W2950176007 hasConcept C138885662 @default.
- W2950176007 hasConcept C154945302 @default.
- W2950176007 hasConcept C170130773 @default.
- W2950176007 hasConcept C186644900 @default.
- W2950176007 hasConcept C195324797 @default.
- W2950176007 hasConcept C199360897 @default.
- W2950176007 hasConcept C204321447 @default.
- W2950176007 hasConcept C2776378722 @default.
- W2950176007 hasConcept C2776436953 @default.
- W2950176007 hasConcept C41008148 @default.
- W2950176007 hasConcept C60048249 @default.
- W2950176007 hasConcept C98045186 @default.
- W2950176007 hasConceptScore W2950176007C107457646 @default.
- W2950176007 hasConceptScore W2950176007C111472728 @default.
- W2950176007 hasConceptScore W2950176007C116253237 @default.
- W2950176007 hasConceptScore W2950176007C124304363 @default.
- W2950176007 hasConceptScore W2950176007C138885662 @default.
- W2950176007 hasConceptScore W2950176007C154945302 @default.
- W2950176007 hasConceptScore W2950176007C170130773 @default.
- W2950176007 hasConceptScore W2950176007C186644900 @default.
- W2950176007 hasConceptScore W2950176007C195324797 @default.
- W2950176007 hasConceptScore W2950176007C199360897 @default.
- W2950176007 hasConceptScore W2950176007C204321447 @default.
- W2950176007 hasConceptScore W2950176007C2776378722 @default.
- W2950176007 hasConceptScore W2950176007C2776436953 @default.
- W2950176007 hasConceptScore W2950176007C41008148 @default.
- W2950176007 hasConceptScore W2950176007C60048249 @default.
- W2950176007 hasConceptScore W2950176007C98045186 @default.
- W2950176007 hasLocation W29501760071 @default.
- W2950176007 hasLocation W29501760072 @default.
- W2950176007 hasLocation W29501760073 @default.
- W2950176007 hasOpenAccess W2950176007 @default.
- W2950176007 hasPrimaryLocation W29501760071 @default.
- W2950176007 hasRelatedWork W2026046761 @default.
- W2950176007 hasRelatedWork W2070147537 @default.
- W2950176007 hasRelatedWork W2167662847 @default.
- W2950176007 hasRelatedWork W2293457016 @default.
- W2950176007 hasRelatedWork W2502722637 @default.
- W2950176007 hasRelatedWork W2977842567 @default.
- W2950176007 hasRelatedWork W3198474835 @default.
- W2950176007 hasRelatedWork W4235735989 @default.
- W2950176007 hasRelatedWork W1551406738 @default.
- W2950176007 hasRelatedWork W2467097043 @default.
- W2950176007 isParatext "false" @default.
- W2950176007 isRetracted "false" @default.
- W2950176007 magId "2950176007" @default.
- W2950176007 workType "article" @default.