Matches in SemOpenAlex for { <https://semopenalex.org/work/W4254409632> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4254409632 abstract "Missing requirements are known to be among the major causes of software failure. They often result from a natural inclination to conceive over-ideal systems where the software-to-be and its environment always behave as expected. Obstacle analysis is a goal-anchored form of risk analysis whereby exceptional conditions that may obstruct system goals are identified, assessed and resolved to produce complete requirements. Various techniques have been proposed for identifying obstacle conditions systematically. Among these, the formal ones have limited applicability or are costly to automate. This paper describes a tool-supported technique for generating a set of obstacle conditions guaranteed to be complete and consistent with respect to the known domain properties. The approach relies on a novel combination of model checking and learning technologies. Obstacles are iteratively learned from counterexample and witness traces produced by model checking against a goal and converted into positive and negative examples, respectively. A comparative evaluation is provided with respect to published results on the manual derivation of obstacles in a real safety-critical system for which failures have been reported." @default.
- W4254409632 created "2022-05-12" @default.
- W4254409632 creator A5029277829 @default.
- W4254409632 creator A5045087569 @default.
- W4254409632 creator A5046441603 @default.
- W4254409632 creator A5046462940 @default.
- W4254409632 creator A5046484952 @default.
- W4254409632 date "2012-06-01" @default.
- W4254409632 modified "2023-09-24" @default.
- W4254409632 title "Generating obstacle conditions for requirements completeness" @default.
- W4254409632 cites W1506588809 @default.
- W4254409632 cites W1541434994 @default.
- W4254409632 cites W1987902506 @default.
- W4254409632 cites W2009605580 @default.
- W4254409632 cites W2032772004 @default.
- W4254409632 cites W2083654756 @default.
- W4254409632 cites W2097366413 @default.
- W4254409632 cites W2113223747 @default.
- W4254409632 cites W2117108284 @default.
- W4254409632 cites W2117818414 @default.
- W4254409632 cites W2132873542 @default.
- W4254409632 cites W2135858757 @default.
- W4254409632 cites W2164589933 @default.
- W4254409632 cites W2899987233 @default.
- W4254409632 cites W4232678125 @default.
- W4254409632 cites W4243719854 @default.
- W4254409632 cites W4254189011 @default.
- W4254409632 doi "https://doi.org/10.1109/icse.2012.6227147" @default.
- W4254409632 hasPublicationYear "2012" @default.
- W4254409632 type Work @default.
- W4254409632 citedByCount "18" @default.
- W4254409632 countsByYear W42544096322012 @default.
- W4254409632 countsByYear W42544096322013 @default.
- W4254409632 countsByYear W42544096322014 @default.
- W4254409632 countsByYear W42544096322015 @default.
- W4254409632 countsByYear W42544096322017 @default.
- W4254409632 countsByYear W42544096322018 @default.
- W4254409632 countsByYear W42544096322019 @default.
- W4254409632 countsByYear W42544096322020 @default.
- W4254409632 countsByYear W42544096322021 @default.
- W4254409632 crossrefType "proceedings-article" @default.
- W4254409632 hasAuthorship W4254409632A5029277829 @default.
- W4254409632 hasAuthorship W4254409632A5045087569 @default.
- W4254409632 hasAuthorship W4254409632A5046441603 @default.
- W4254409632 hasAuthorship W4254409632A5046462940 @default.
- W4254409632 hasAuthorship W4254409632A5046484952 @default.
- W4254409632 hasBestOaLocation W42544096322 @default.
- W4254409632 hasConcept C110251889 @default.
- W4254409632 hasConcept C118615104 @default.
- W4254409632 hasConcept C134306372 @default.
- W4254409632 hasConcept C154945302 @default.
- W4254409632 hasConcept C162838799 @default.
- W4254409632 hasConcept C17231256 @default.
- W4254409632 hasConcept C177264268 @default.
- W4254409632 hasConcept C17744445 @default.
- W4254409632 hasConcept C199360897 @default.
- W4254409632 hasConcept C199539241 @default.
- W4254409632 hasConcept C2776650193 @default.
- W4254409632 hasConcept C2776900844 @default.
- W4254409632 hasConcept C2777904410 @default.
- W4254409632 hasConcept C33923547 @default.
- W4254409632 hasConcept C36503486 @default.
- W4254409632 hasConcept C41008148 @default.
- W4254409632 hasConcept C80444323 @default.
- W4254409632 hasConceptScore W4254409632C110251889 @default.
- W4254409632 hasConceptScore W4254409632C118615104 @default.
- W4254409632 hasConceptScore W4254409632C134306372 @default.
- W4254409632 hasConceptScore W4254409632C154945302 @default.
- W4254409632 hasConceptScore W4254409632C162838799 @default.
- W4254409632 hasConceptScore W4254409632C17231256 @default.
- W4254409632 hasConceptScore W4254409632C177264268 @default.
- W4254409632 hasConceptScore W4254409632C17744445 @default.
- W4254409632 hasConceptScore W4254409632C199360897 @default.
- W4254409632 hasConceptScore W4254409632C199539241 @default.
- W4254409632 hasConceptScore W4254409632C2776650193 @default.
- W4254409632 hasConceptScore W4254409632C2776900844 @default.
- W4254409632 hasConceptScore W4254409632C2777904410 @default.
- W4254409632 hasConceptScore W4254409632C33923547 @default.
- W4254409632 hasConceptScore W4254409632C36503486 @default.
- W4254409632 hasConceptScore W4254409632C41008148 @default.
- W4254409632 hasConceptScore W4254409632C80444323 @default.
- W4254409632 hasLocation W42544096321 @default.
- W4254409632 hasLocation W42544096322 @default.
- W4254409632 hasOpenAccess W4254409632 @default.
- W4254409632 hasPrimaryLocation W42544096321 @default.
- W4254409632 hasRelatedWork W1582574957 @default.
- W4254409632 hasRelatedWork W1597578789 @default.
- W4254409632 hasRelatedWork W174184838 @default.
- W4254409632 hasRelatedWork W1748450182 @default.
- W4254409632 hasRelatedWork W2078939587 @default.
- W4254409632 hasRelatedWork W2145683232 @default.
- W4254409632 hasRelatedWork W2168342181 @default.
- W4254409632 hasRelatedWork W3023941322 @default.
- W4254409632 hasRelatedWork W4254409632 @default.
- W4254409632 hasRelatedWork W2611887329 @default.
- W4254409632 isParatext "false" @default.
- W4254409632 isRetracted "false" @default.
- W4254409632 workType "article" @default.