Matches in SemOpenAlex for { <https://semopenalex.org/work/W2281954419> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2281954419 abstract "If interactive computing systems development is to be considered an engineering discipline, we need methods and tools to help us reason about and predict the quality of systems, from early in the design process. This paper provides a brief overview of work we have been carrying out in the general area of evaluating and ensuring the quality of interactive computing systems. Some of the work currently being carried out is also discussed. Discussed approaches range from the formal verification of user interface models through model checking, to the reverse engineering and model based testing of implemented interactive computing systems." @default.
- W2281954419 created "2016-06-24" @default.
- W2281954419 creator A5061819639 @default.
- W2281954419 date "2014-01-01" @default.
- W2281954419 modified "2023-09-27" @default.
- W2281954419 title "High assurance interactive computing systems" @default.
- W2281954419 cites W113012212 @default.
- W2281954419 cites W1564467619 @default.
- W2281954419 cites W1928882148 @default.
- W2281954419 cites W2019887239 @default.
- W2281954419 cites W2028538762 @default.
- W2281954419 cites W2040333253 @default.
- W2281954419 cites W2100565554 @default.
- W2281954419 cites W2103431672 @default.
- W2281954419 cites W2107114959 @default.
- W2281954419 cites W2122948231 @default.
- W2281954419 cites W2149224076 @default.
- W2281954419 cites W2153887189 @default.
- W2281954419 cites W2166867792 @default.
- W2281954419 cites W2168366350 @default.
- W2281954419 cites W2205922636 @default.
- W2281954419 cites W2247187487 @default.
- W2281954419 cites W2261144643 @default.
- W2281954419 cites W2913459036 @default.
- W2281954419 hasPublicationYear "2014" @default.
- W2281954419 type Work @default.
- W2281954419 sameAs 2281954419 @default.
- W2281954419 citedByCount "1" @default.
- W2281954419 countsByYear W22819544192019 @default.
- W2281954419 crossrefType "journal-article" @default.
- W2281954419 hasAuthorship W2281954419A5061819639 @default.
- W2281954419 hasConcept C106436119 @default.
- W2281954419 hasConcept C107457646 @default.
- W2281954419 hasConcept C111919701 @default.
- W2281954419 hasConcept C113843644 @default.
- W2281954419 hasConcept C115903868 @default.
- W2281954419 hasConcept C127413603 @default.
- W2281954419 hasConcept C129307140 @default.
- W2281954419 hasConcept C157915830 @default.
- W2281954419 hasConcept C199360897 @default.
- W2281954419 hasConcept C201995342 @default.
- W2281954419 hasConcept C21547014 @default.
- W2281954419 hasConcept C2778618615 @default.
- W2281954419 hasConcept C40866790 @default.
- W2281954419 hasConcept C41008148 @default.
- W2281954419 hasConcept C89505385 @default.
- W2281954419 hasConcept C98045186 @default.
- W2281954419 hasConceptScore W2281954419C106436119 @default.
- W2281954419 hasConceptScore W2281954419C107457646 @default.
- W2281954419 hasConceptScore W2281954419C111919701 @default.
- W2281954419 hasConceptScore W2281954419C113843644 @default.
- W2281954419 hasConceptScore W2281954419C115903868 @default.
- W2281954419 hasConceptScore W2281954419C127413603 @default.
- W2281954419 hasConceptScore W2281954419C129307140 @default.
- W2281954419 hasConceptScore W2281954419C157915830 @default.
- W2281954419 hasConceptScore W2281954419C199360897 @default.
- W2281954419 hasConceptScore W2281954419C201995342 @default.
- W2281954419 hasConceptScore W2281954419C21547014 @default.
- W2281954419 hasConceptScore W2281954419C2778618615 @default.
- W2281954419 hasConceptScore W2281954419C40866790 @default.
- W2281954419 hasConceptScore W2281954419C41008148 @default.
- W2281954419 hasConceptScore W2281954419C89505385 @default.
- W2281954419 hasConceptScore W2281954419C98045186 @default.
- W2281954419 hasLocation W22819544191 @default.
- W2281954419 hasOpenAccess W2281954419 @default.
- W2281954419 hasPrimaryLocation W22819544191 @default.
- W2281954419 hasRelatedWork W1488767540 @default.
- W2281954419 hasRelatedWork W1537116183 @default.
- W2281954419 hasRelatedWork W153858929 @default.
- W2281954419 hasRelatedWork W1690833623 @default.
- W2281954419 hasRelatedWork W1968066687 @default.
- W2281954419 hasRelatedWork W1972936281 @default.
- W2281954419 hasRelatedWork W1975664365 @default.
- W2281954419 hasRelatedWork W2006959023 @default.
- W2281954419 hasRelatedWork W2025329534 @default.
- W2281954419 hasRelatedWork W2029947721 @default.
- W2281954419 hasRelatedWork W2049582663 @default.
- W2281954419 hasRelatedWork W2063341109 @default.
- W2281954419 hasRelatedWork W2081380714 @default.
- W2281954419 hasRelatedWork W2096947458 @default.
- W2281954419 hasRelatedWork W2585592998 @default.
- W2281954419 hasRelatedWork W2908293475 @default.
- W2281954419 hasRelatedWork W3173640610 @default.
- W2281954419 hasRelatedWork W61720063 @default.
- W2281954419 hasRelatedWork W151148115 @default.
- W2281954419 hasRelatedWork W2281027984 @default.
- W2281954419 isParatext "false" @default.
- W2281954419 isRetracted "false" @default.
- W2281954419 magId "2281954419" @default.
- W2281954419 workType "article" @default.