Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094838541> ?p ?o ?g. }
- W2094838541 endingPage "383" @default.
- W2094838541 startingPage "361" @default.
- W2094838541 abstract "The process of Requirements Engineering (RE) includes many activities, from goal elicitation to requirements specification. The aim is to develop an operational requirements specification that is guaranteed to satisfy the goals. In this paper, we propose a formal, systematic approach for generating a set of operational requirements that are complete with respect to given goals. We show how the integration of model checking and inductive learning can be effectively used to do this. The model checking formally verifies the satisfaction of the goals and produces counterexamples when incompleteness in the operational requirements is detected. The inductive learning process then computes operational requirements from the counterexamples and user-provided positive examples. These learned operational requirements are guaranteed to eliminate the counterexamples and be consistent with the goals. This process is performed iteratively until no goal violation is detected. The proposed framework is a rigorous, tool-supported requirements elaboration technique which is formally guided by the engineer's knowledge of the domain and the envisioned system." @default.
- W2094838541 created "2016-06-24" @default.
- W2094838541 creator A5029277829 @default.
- W2094838541 creator A5045087569 @default.
- W2094838541 creator A5046462940 @default.
- W2094838541 creator A5046484952 @default.
- W2094838541 date "2013-03-01" @default.
- W2094838541 modified "2023-10-18" @default.
- W2094838541 title "Elaborating Requirements Using Model Checking and Inductive Learning" @default.
- W2094838541 cites W1506588809 @default.
- W2094838541 cites W1519288739 @default.
- W2094838541 cites W1541434994 @default.
- W2094838541 cites W1905153225 @default.
- W2094838541 cites W1987902506 @default.
- W2094838541 cites W1994350081 @default.
- W2094838541 cites W2003690858 @default.
- W2094838541 cites W2009605580 @default.
- W2094838541 cites W2017739343 @default.
- W2094838541 cites W2023342108 @default.
- W2094838541 cites W2034227487 @default.
- W2094838541 cites W2051783972 @default.
- W2094838541 cites W2052524743 @default.
- W2094838541 cites W2083654756 @default.
- W2094838541 cites W2111757195 @default.
- W2094838541 cites W2112494651 @default.
- W2094838541 cites W2113223747 @default.
- W2094838541 cites W2117108284 @default.
- W2094838541 cites W2118893164 @default.
- W2094838541 cites W2118926712 @default.
- W2094838541 cites W2119831128 @default.
- W2094838541 cites W2121764468 @default.
- W2094838541 cites W2127737795 @default.
- W2094838541 cites W2134908243 @default.
- W2094838541 cites W2142065829 @default.
- W2094838541 cites W2151451947 @default.
- W2094838541 cites W2162773911 @default.
- W2094838541 cites W2164022737 @default.
- W2094838541 cites W2164589933 @default.
- W2094838541 cites W2301605390 @default.
- W2094838541 cites W2899987233 @default.
- W2094838541 cites W4232678125 @default.
- W2094838541 cites W4237946187 @default.
- W2094838541 cites W4248147214 @default.
- W2094838541 cites W4255097898 @default.
- W2094838541 doi "https://doi.org/10.1109/tse.2012.41" @default.
- W2094838541 hasPublicationYear "2013" @default.
- W2094838541 type Work @default.
- W2094838541 sameAs 2094838541 @default.
- W2094838541 citedByCount "32" @default.
- W2094838541 countsByYear W20948385412013 @default.
- W2094838541 countsByYear W20948385412014 @default.
- W2094838541 countsByYear W20948385412015 @default.
- W2094838541 countsByYear W20948385412016 @default.
- W2094838541 countsByYear W20948385412017 @default.
- W2094838541 countsByYear W20948385412018 @default.
- W2094838541 countsByYear W20948385412019 @default.
- W2094838541 countsByYear W20948385412020 @default.
- W2094838541 countsByYear W20948385412021 @default.
- W2094838541 countsByYear W20948385412022 @default.
- W2094838541 countsByYear W20948385412023 @default.
- W2094838541 crossrefType "journal-article" @default.
- W2094838541 hasAuthorship W2094838541A5029277829 @default.
- W2094838541 hasAuthorship W2094838541A5045087569 @default.
- W2094838541 hasAuthorship W2094838541A5046462940 @default.
- W2094838541 hasAuthorship W2094838541A5046484952 @default.
- W2094838541 hasConcept C102780508 @default.
- W2094838541 hasConcept C110251889 @default.
- W2094838541 hasConcept C111498074 @default.
- W2094838541 hasConcept C111919701 @default.
- W2094838541 hasConcept C115903868 @default.
- W2094838541 hasConcept C116253237 @default.
- W2094838541 hasConcept C118615104 @default.
- W2094838541 hasConcept C134306372 @default.
- W2094838541 hasConcept C135475081 @default.
- W2094838541 hasConcept C162838799 @default.
- W2094838541 hasConcept C173577280 @default.
- W2094838541 hasConcept C177264268 @default.
- W2094838541 hasConcept C186846655 @default.
- W2094838541 hasConcept C199360897 @default.
- W2094838541 hasConcept C199747065 @default.
- W2094838541 hasConcept C2777904410 @default.
- W2094838541 hasConcept C33923547 @default.
- W2094838541 hasConcept C36503486 @default.
- W2094838541 hasConcept C40398212 @default.
- W2094838541 hasConcept C41008148 @default.
- W2094838541 hasConcept C45384764 @default.
- W2094838541 hasConcept C52913732 @default.
- W2094838541 hasConcept C529173508 @default.
- W2094838541 hasConcept C59488412 @default.
- W2094838541 hasConcept C6604083 @default.
- W2094838541 hasConcept C75606506 @default.
- W2094838541 hasConcept C84651959 @default.
- W2094838541 hasConcept C98045186 @default.
- W2094838541 hasConceptScore W2094838541C102780508 @default.
- W2094838541 hasConceptScore W2094838541C110251889 @default.
- W2094838541 hasConceptScore W2094838541C111498074 @default.
- W2094838541 hasConceptScore W2094838541C111919701 @default.
- W2094838541 hasConceptScore W2094838541C115903868 @default.