{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T00:07:02Z","timestamp":1699834022403},"reference-count":17,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":8914,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1982,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes a formal model for expressing the functional requirements of the man\u2010machine 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.<\/jats:p>","DOI":"10.1002\/spe.4380120607","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T02:40:38Z","timestamp":1163817638000},"page":"557-569","source":"Crossref","is-referenced-by-count":9,"title":["Modelling and validating the man\u2010machine interface"],"prefix":"10.1002","volume":"12","author":[{"given":"Bernice E.","family":"Casey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Dasarathy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380100907"},{"key":"e_1_2_1_3_2","unstructured":"N.RellesandL. A.Price \u2018A user interface for online assistance\u2019 Proceedings of the 5th International Conference on Software Engineering San Diego CA 400408 (1981)."},{"key":"e_1_2_1_4_2","volume-title":"Software Psychology: Human Factors in Computer and Information Systems","author":"Shneiderman B.","year":"1980"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10574-3"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9849"},{"key":"e_1_2_1_7_2","unstructured":"H.LedgardandA.Singer \u2018The case for research in human engineering\u2019 Proceedings of the Conference on Research Directions in Software Technology 21\u20131to21\u201324(1977)."},{"key":"e_1_2_1_8_2","unstructured":"H. R.RamseyandM. E.Atwood \u2018MMI design guidance: state of the art\u2019 Proceedings of the International Conference on Cybernetics and Society 579\u2013582(1980)."},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"D. L.Parnas \u2018On the use of transition diagrams in the design of a user interface for an interactive computing system\u2019 Proceedings of the 24th National Conference ACM 1969 379\u2013383(1969).","DOI":"10.1145\/800195.805945"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","unstructured":"B.Taylor \u2018A method for expressing the functional requirements of real\u2010time systems\u2019 Proceedings of the 1980 IFAC\/IFIP Conference on Real\u2010Time Systems 111\u2013120(1980).","DOI":"10.1016\/0066-4138(82)90015-5"},{"key":"e_1_2_1_11_2","unstructured":"A. I.Wasserman \u2018User software engineering and the design of interactive systems\u2019 Proceedings of the 5th International Conference on Software Engineering San Diego CA 387\u2013393(1981)."},{"key":"e_1_2_1_12_2","unstructured":"B.CaseyandB.Taylor \u2018Writing requirements in English: a natural alternative\u2019 Proceedings of the Software Engineering Standards Applications Workshop 95\u2013101(1981)."},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(74)80025-8"},{"key":"e_1_2_1_14_2","unstructured":"B.Dasarathy \u2018Timing constraints of real\u2010time systems: constructs for expressing them methods of validating them\u2019 submitted toIEEE Transactions on Software Engineering 1981."},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1982.1654021"},{"key":"e_1_2_1_16_2","unstructured":"A. M.Davis et al. \u2018RLP: an automated tool for the processing of requirements\u2019 Proceedings of COMPSAC'79 188\u2013194(1979)."},{"key":"e_1_2_1_17_2","unstructured":"B.Dasarathy \u2018Test plan generation for the requirements validation of real\u2010time systems\u2019 Digest of the 1981 IEEE Automatic Test Program Generation Workshop Philadelphia PA 174\u2013176(1981)."},{"key":"e_1_2_1_18_2","unstructured":"R. W.Worrest \u2018Using an automatic test executor to support parallel system and test development\u2019 Proceedings of the IEEE Phoenix Conference on Computers and Communication Phoenix Arizona May 1982."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380120607","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380120607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T14:45:32Z","timestamp":1699800332000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380120607"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,6]]},"references-count":17,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1982,6]]}},"alternative-id":["10.1002\/spe.4380120607"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380120607","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,6]]}}}