Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026602956> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2026602956 endingPage "569" @default.
- W2026602956 startingPage "557" @default.
- W2026602956 abstract "This paper describes a formal model for expressing the functional requirements of the man-machine interfaces of interactive systems. It also shows how this model can facilitate the automation of other useful activities such as checking for inconsistency, redundancy, and incompleteness in the specification, and validating the implementation of the interface against its original requirements. Finally, the paper comments on the authors' experience in developing an interactive system using this formal model." @default.
- W2026602956 created "2016-06-24" @default.
- W2026602956 creator A5006561311 @default.
- W2026602956 creator A5062054825 @default.
- W2026602956 date "1982-06-01" @default.
- W2026602956 modified "2023-09-25" @default.
- W2026602956 title "Modelling and validating the man-machine interface" @default.
- W2026602956 cites W1592359221 @default.
- W2026602956 cites W1980341203 @default.
- W2026602956 cites W1993796960 @default.
- W2026602956 cites W2100655177 @default.
- W2026602956 doi "https://doi.org/10.1002/spe.4380120607" @default.
- W2026602956 hasPublicationYear "1982" @default.
- W2026602956 type Work @default.
- W2026602956 sameAs 2026602956 @default.
- W2026602956 citedByCount "13" @default.
- W2026602956 crossrefType "journal-article" @default.
- W2026602956 hasAuthorship W2026602956A5006561311 @default.
- W2026602956 hasAuthorship W2026602956A5062054825 @default.
- W2026602956 hasConcept C107457646 @default.
- W2026602956 hasConcept C110251889 @default.
- W2026602956 hasConcept C111919701 @default.
- W2026602956 hasConcept C113843644 @default.
- W2026602956 hasConcept C115901376 @default.
- W2026602956 hasConcept C115903868 @default.
- W2026602956 hasConcept C116253237 @default.
- W2026602956 hasConcept C127413603 @default.
- W2026602956 hasConcept C129307140 @default.
- W2026602956 hasConcept C152124472 @default.
- W2026602956 hasConcept C157915830 @default.
- W2026602956 hasConcept C199360897 @default.
- W2026602956 hasConcept C41008148 @default.
- W2026602956 hasConcept C75606506 @default.
- W2026602956 hasConcept C78519656 @default.
- W2026602956 hasConceptScore W2026602956C107457646 @default.
- W2026602956 hasConceptScore W2026602956C110251889 @default.
- W2026602956 hasConceptScore W2026602956C111919701 @default.
- W2026602956 hasConceptScore W2026602956C113843644 @default.
- W2026602956 hasConceptScore W2026602956C115901376 @default.
- W2026602956 hasConceptScore W2026602956C115903868 @default.
- W2026602956 hasConceptScore W2026602956C116253237 @default.
- W2026602956 hasConceptScore W2026602956C127413603 @default.
- W2026602956 hasConceptScore W2026602956C129307140 @default.
- W2026602956 hasConceptScore W2026602956C152124472 @default.
- W2026602956 hasConceptScore W2026602956C157915830 @default.
- W2026602956 hasConceptScore W2026602956C199360897 @default.
- W2026602956 hasConceptScore W2026602956C41008148 @default.
- W2026602956 hasConceptScore W2026602956C75606506 @default.
- W2026602956 hasConceptScore W2026602956C78519656 @default.
- W2026602956 hasIssue "6" @default.
- W2026602956 hasLocation W20266029561 @default.
- W2026602956 hasOpenAccess W2026602956 @default.
- W2026602956 hasPrimaryLocation W20266029561 @default.
- W2026602956 hasRelatedWork W1548276064 @default.
- W2026602956 hasRelatedWork W1567923353 @default.
- W2026602956 hasRelatedWork W1583364777 @default.
- W2026602956 hasRelatedWork W1601757209 @default.
- W2026602956 hasRelatedWork W163027098 @default.
- W2026602956 hasRelatedWork W1966978306 @default.
- W2026602956 hasRelatedWork W2121507724 @default.
- W2026602956 hasRelatedWork W2151688527 @default.
- W2026602956 hasRelatedWork W2255133889 @default.
- W2026602956 hasRelatedWork W27605384 @default.
- W2026602956 hasVolume "12" @default.
- W2026602956 isParatext "false" @default.
- W2026602956 isRetracted "false" @default.
- W2026602956 magId "2026602956" @default.
- W2026602956 workType "article" @default.