FRINK Linked Data Fragments server

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

• W2050151907 endingPage "1682" @default.
• W2050151907 startingPage "1677" @default.
• W2050151907 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.
• W2050151907 created "2016-06-24" @default.
• W2050151907 creator A5007923079 @default.
• W2050151907 creator A5066276883 @default.
• W2050151907 creator A5066292729 @default.
• W2050151907 date "2015-03-09" @default.
• W2050151907 modified "2023-09-26" @default.
• W2050151907 title "Formal consistency checking over specifications in natural languages" @default.
• W2050151907 cites W1128447031 @default.
• W2050151907 cites W143039783 @default.
• W2050151907 cites W1436046237 @default.
• W2050151907 cites W1508977358 @default.
• W2050151907 cites W1531055662 @default.
• W2050151907 cites W1568096594 @default.
• W2050151907 cites W1836317845 @default.
• W2050151907 cites W1984936841 @default.
• W2050151907 cites W2001006503 @default.
• W2050151907 cites W2023808162 @default.
• W2050151907 cites W2063647782 @default.
• W2050151907 cites W2079917574 @default.
• W2050151907 cites W2111093520 @default.
• W2050151907 cites W2111299652 @default.
• W2050151907 cites W2120145129 @default.
• W2050151907 cites W2125708466 @default.
• W2050151907 cites W2134908243 @default.
• W2050151907 cites W2139158240 @default.
• W2050151907 cites W3023554972 @default.
• W2050151907 doi "https://doi.org/10.5555/2755753.2757200" @default.
• W2050151907 hasPublicationYear "2015" @default.
• W2050151907 type Work @default.
• W2050151907 sameAs 2050151907 @default.
• W2050151907 citedByCount "7" @default.
• W2050151907 countsByYear W20501519072016 @default.
• W2050151907 countsByYear W20501519072018 @default.
• W2050151907 countsByYear W20501519072019 @default.
• W2050151907 countsByYear W20501519072020 @default.
• W2050151907 countsByYear W20501519072021 @default.
• W2050151907 crossrefType "proceedings-article" @default.
• W2050151907 hasAuthorship W2050151907A5007923079 @default.
• W2050151907 hasAuthorship W2050151907A5066276883 @default.
• W2050151907 hasAuthorship W2050151907A5066292729 @default.
• W2050151907 hasConcept C107457646 @default.
• W2050151907 hasConcept C111472728 @default.
• W2050151907 hasConcept C111498074 @default.
• W2050151907 hasConcept C116253237 @default.
• W2050151907 hasConcept C124304363 @default.
• W2050151907 hasConcept C138885662 @default.
• W2050151907 hasConcept C154945302 @default.
• W2050151907 hasConcept C170130773 @default.
• W2050151907 hasConcept C186644900 @default.
• W2050151907 hasConcept C195324797 @default.
• W2050151907 hasConcept C199360897 @default.
• W2050151907 hasConcept C204321447 @default.
• W2050151907 hasConcept C2776378722 @default.
• W2050151907 hasConcept C2776436953 @default.
• W2050151907 hasConcept C41008148 @default.
• W2050151907 hasConcept C60048249 @default.
• W2050151907 hasConcept C98045186 @default.
• W2050151907 hasConceptScore W2050151907C107457646 @default.
• W2050151907 hasConceptScore W2050151907C111472728 @default.
• W2050151907 hasConceptScore W2050151907C111498074 @default.
• W2050151907 hasConceptScore W2050151907C116253237 @default.
• W2050151907 hasConceptScore W2050151907C124304363 @default.
• W2050151907 hasConceptScore W2050151907C138885662 @default.
• W2050151907 hasConceptScore W2050151907C154945302 @default.
• W2050151907 hasConceptScore W2050151907C170130773 @default.
• W2050151907 hasConceptScore W2050151907C186644900 @default.
• W2050151907 hasConceptScore W2050151907C195324797 @default.
• W2050151907 hasConceptScore W2050151907C199360897 @default.
• W2050151907 hasConceptScore W2050151907C204321447 @default.
• W2050151907 hasConceptScore W2050151907C2776378722 @default.
• W2050151907 hasConceptScore W2050151907C2776436953 @default.
• W2050151907 hasConceptScore W2050151907C41008148 @default.
• W2050151907 hasConceptScore W2050151907C60048249 @default.
• W2050151907 hasConceptScore W2050151907C98045186 @default.
• W2050151907 hasLocation W20501519071 @default.
• W2050151907 hasOpenAccess W2050151907 @default.
• W2050151907 hasPrimaryLocation W20501519071 @default.
• W2050151907 hasRelatedWork W1593065203 @default.
• W2050151907 hasRelatedWork W1932279727 @default.
• W2050151907 hasRelatedWork W1972548976 @default.
• W2050151907 hasRelatedWork W1996832037 @default.
• W2050151907 hasRelatedWork W2003352869 @default.
• W2050151907 hasRelatedWork W2023808162 @default.
• W2050151907 hasRelatedWork W2086005798 @default.
• W2050151907 hasRelatedWork W2102096698 @default.
• W2050151907 hasRelatedWork W2106199032 @default.
• W2050151907 hasRelatedWork W2111041346 @default.
• W2050151907 hasRelatedWork W2111093520 @default.
• W2050151907 hasRelatedWork W2118196876 @default.
• W2050151907 hasRelatedWork W2152506470 @default.
• W2050151907 hasRelatedWork W2159958244 @default.
• W2050151907 hasRelatedWork W2162992811 @default.
• W2050151907 hasRelatedWork W2167978186 @default.
• W2050151907 hasRelatedWork W2266628809 @default.
• W2050151907 hasRelatedWork W2398099798 @default.
• W2050151907 hasRelatedWork W2167902911 @default.
• W2050151907 hasRelatedWork W2170753241 @default.

• next