Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300189976> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4300189976 abstract "The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect stakeholders' needs, and the implementation satisfies them. In usual approaches, the use of different notations for requirements (often natural language) and implementations (a programming language) makes both conditions elusive. AutoReq, presented in this article, takes a different approach to both the writing of requirements and their verification. Applying the approach to a well-documented example, a landing gear system, allowed for a mechanical proof of consistency and uncovered an error in a published discussion of the problem." @default.
- W4300189976 created "2022-10-03" @default.
- W4300189976 creator A5023284644 @default.
- W4300189976 creator A5033183527 @default.
- W4300189976 creator A5044748328 @default.
- W4300189976 creator A5075175655 @default.
- W4300189976 creator A5086167951 @default.
- W4300189976 creator A5087030856 @default.
- W4300189976 date "2017-10-08" @default.
- W4300189976 modified "2023-09-30" @default.
- W4300189976 title "AutoReq: expressing and verifying requirements for control systems" @default.
- W4300189976 doi "https://doi.org/10.48550/arxiv.1710.02801" @default.
- W4300189976 hasPublicationYear "2017" @default.
- W4300189976 type Work @default.
- W4300189976 citedByCount "0" @default.
- W4300189976 crossrefType "posted-content" @default.
- W4300189976 hasAuthorship W4300189976A5023284644 @default.
- W4300189976 hasAuthorship W4300189976A5033183527 @default.
- W4300189976 hasAuthorship W4300189976A5044748328 @default.
- W4300189976 hasAuthorship W4300189976A5075175655 @default.
- W4300189976 hasAuthorship W4300189976A5086167951 @default.
- W4300189976 hasAuthorship W4300189976A5087030856 @default.
- W4300189976 hasBestOaLocation W43001899761 @default.
- W4300189976 hasConcept C111919701 @default.
- W4300189976 hasConcept C115903868 @default.
- W4300189976 hasConcept C127413603 @default.
- W4300189976 hasConcept C154945302 @default.
- W4300189976 hasConcept C199360897 @default.
- W4300189976 hasConcept C201995342 @default.
- W4300189976 hasConcept C26713055 @default.
- W4300189976 hasConcept C2775924081 @default.
- W4300189976 hasConcept C2776436953 @default.
- W4300189976 hasConcept C2777904410 @default.
- W4300189976 hasConcept C33923547 @default.
- W4300189976 hasConcept C40398212 @default.
- W4300189976 hasConcept C41008148 @default.
- W4300189976 hasConcept C45357846 @default.
- W4300189976 hasConcept C59488412 @default.
- W4300189976 hasConcept C94375191 @default.
- W4300189976 hasConceptScore W4300189976C111919701 @default.
- W4300189976 hasConceptScore W4300189976C115903868 @default.
- W4300189976 hasConceptScore W4300189976C127413603 @default.
- W4300189976 hasConceptScore W4300189976C154945302 @default.
- W4300189976 hasConceptScore W4300189976C199360897 @default.
- W4300189976 hasConceptScore W4300189976C201995342 @default.
- W4300189976 hasConceptScore W4300189976C26713055 @default.
- W4300189976 hasConceptScore W4300189976C2775924081 @default.
- W4300189976 hasConceptScore W4300189976C2776436953 @default.
- W4300189976 hasConceptScore W4300189976C2777904410 @default.
- W4300189976 hasConceptScore W4300189976C33923547 @default.
- W4300189976 hasConceptScore W4300189976C40398212 @default.
- W4300189976 hasConceptScore W4300189976C41008148 @default.
- W4300189976 hasConceptScore W4300189976C45357846 @default.
- W4300189976 hasConceptScore W4300189976C59488412 @default.
- W4300189976 hasConceptScore W4300189976C94375191 @default.
- W4300189976 hasLocation W43001899761 @default.
- W4300189976 hasLocation W43001899762 @default.
- W4300189976 hasLocation W43001899763 @default.
- W4300189976 hasLocation W43001899764 @default.
- W4300189976 hasOpenAccess W4300189976 @default.
- W4300189976 hasPrimaryLocation W43001899761 @default.
- W4300189976 hasRelatedWork W1504651774 @default.
- W4300189976 hasRelatedWork W1791733230 @default.
- W4300189976 hasRelatedWork W1984757784 @default.
- W4300189976 hasRelatedWork W2071980727 @default.
- W4300189976 hasRelatedWork W2083338789 @default.
- W4300189976 hasRelatedWork W2095829831 @default.
- W4300189976 hasRelatedWork W2147654745 @default.
- W4300189976 hasRelatedWork W2911593479 @default.
- W4300189976 hasRelatedWork W2949642697 @default.
- W4300189976 hasRelatedWork W767103683 @default.
- W4300189976 isParatext "false" @default.
- W4300189976 isRetracted "false" @default.
- W4300189976 workType "article" @default.