{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T10:48:17Z","timestamp":1698144497183},"reference-count":2,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":4595,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1994,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes a step\u2010by\u2010step method for reaching agreement between the client and the software builder concerning how a system should interact with its user. The method springs from the view of McMenamin and Palmer that all physical systems have both essential behaviour (what is to be done) and physical behaviour (how it is to be done) and that it is useful to define the essential behaviour before discussing how to implement it using real hardware and software. The method leads to an essential system behaviour guide that combines completeness and brevity; it encourages client and builder to share the task of describing essential system behaviour in a language that both can understand. The method is illustrated for the case of a system that manipulates elements and sets.<\/jats:p>","DOI":"10.1002\/spe.4380240406","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T17:03:21Z","timestamp":1163783001000},"page":"405-420","source":"Crossref","is-referenced-by-count":0,"title":["Description of essential system behaviour using message\u2010state tables"],"prefix":"10.1002","volume":"24","author":[{"given":"Keith","family":"Paton","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Essential Systems Analysis","author":"McMenamin S. M.","year":"1984"},{"key":"e_1_2_1_3_2","volume-title":"Naive Set Theory","author":"Halmos P. R.","year":"1960"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380240406","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380240406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T23:38:14Z","timestamp":1698104294000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380240406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":2,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["10.1002\/spe.4380240406"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380240406","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}