Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896014087> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2896014087 abstract "Writing requirements is no easy task. Common problems include ambiguity in statements, specifications at the wrong level of abstraction, statements with inconsistent references to types, conflicting requirements, and incomplete requirements. These pitfalls lead to errors being introduced early in the design process. The longer the gap between error introduction and error discovery, the higher the cost associated with the error. To address the growing cost of system development, we introduce a tool called ASSERT (Analysis of Semantic Specifications and Efficient generation of Requirements-based Tests) for capturing requirements, backed by a formal requirements analysis engine. ASSERT also automatically generates a complete set of requirements-based test cases. Capturing requirements in an unambiguous way and then formally analyzing them with an automated theorem prover eliminates errors as soon as requirements are written. It also addresses the historical problem that analysis engines are hard to use for someone without formal methods expertise and analysis results are often difficult for the end-user to understand and make actionable. ASSERT's major contribution is to bring powerful requirements capture and analysis capability to the domain of the end-user. We provide explainable and automated formal analysis, something we found important for a tool's adoptability in industry." @default.
- W2896014087 created "2018-10-26" @default.
- W2896014087 creator A5011767978 @default.
- W2896014087 creator A5028945414 @default.
- W2896014087 creator A5036637930 @default.
- W2896014087 creator A5050250788 @default.
- W2896014087 creator A5052139486 @default.
- W2896014087 creator A5082779936 @default.
- W2896014087 creator A5087592842 @default.
- W2896014087 creator A5090566137 @default.
- W2896014087 creator A5091714104 @default.
- W2896014087 date "2018-08-01" @default.
- W2896014087 modified "2023-09-26" @default.
- W2896014087 title "Towards Development of Complete and Conflict-Free Requirements" @default.
- W2896014087 cites W1562651002 @default.
- W2896014087 cites W1952583843 @default.
- W2896014087 cites W1998702583 @default.
- W2896014087 cites W2004152965 @default.
- W2896014087 cites W2097719961 @default.
- W2896014087 cites W2147880466 @default.
- W2896014087 cites W2166011785 @default.
- W2896014087 cites W2171269531 @default.
- W2896014087 cites W2759347564 @default.
- W2896014087 cites W2768093068 @default.
- W2896014087 cites W3146035799 @default.
- W2896014087 cites W40711582 @default.
- W2896014087 cites W4239619243 @default.
- W2896014087 doi "https://doi.org/10.1109/re.2018.00036" @default.
- W2896014087 hasPublicationYear "2018" @default.
- W2896014087 type Work @default.
- W2896014087 sameAs 2896014087 @default.
- W2896014087 citedByCount "18" @default.
- W2896014087 countsByYear W28960140872019 @default.
- W2896014087 countsByYear W28960140872020 @default.
- W2896014087 countsByYear W28960140872021 @default.
- W2896014087 countsByYear W28960140872022 @default.
- W2896014087 countsByYear W28960140872023 @default.
- W2896014087 crossrefType "proceedings-article" @default.
- W2896014087 hasAuthorship W2896014087A5011767978 @default.
- W2896014087 hasAuthorship W2896014087A5028945414 @default.
- W2896014087 hasAuthorship W2896014087A5036637930 @default.
- W2896014087 hasAuthorship W2896014087A5050250788 @default.
- W2896014087 hasAuthorship W2896014087A5052139486 @default.
- W2896014087 hasAuthorship W2896014087A5082779936 @default.
- W2896014087 hasAuthorship W2896014087A5087592842 @default.
- W2896014087 hasAuthorship W2896014087A5090566137 @default.
- W2896014087 hasAuthorship W2896014087A5091714104 @default.
- W2896014087 hasConcept C41008148 @default.
- W2896014087 hasConceptScore W2896014087C41008148 @default.
- W2896014087 hasLocation W28960140871 @default.
- W2896014087 hasOpenAccess W2896014087 @default.
- W2896014087 hasPrimaryLocation W28960140871 @default.
- W2896014087 hasRelatedWork W2093578348 @default.
- W2896014087 hasRelatedWork W2350741829 @default.
- W2896014087 hasRelatedWork W2358668433 @default.
- W2896014087 hasRelatedWork W2376932109 @default.
- W2896014087 hasRelatedWork W2382290278 @default.
- W2896014087 hasRelatedWork W2390279801 @default.
- W2896014087 hasRelatedWork W2748952813 @default.
- W2896014087 hasRelatedWork W2766271392 @default.
- W2896014087 hasRelatedWork W2899084033 @default.
- W2896014087 hasRelatedWork W3004735627 @default.
- W2896014087 isParatext "false" @default.
- W2896014087 isRetracted "false" @default.
- W2896014087 magId "2896014087" @default.
- W2896014087 workType "article" @default.