{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T05:27:47Z","timestamp":1648790867435},"reference-count":18,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1983,6,1]],"date-time":"1983-06-01T00:00:00Z","timestamp":423273600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1983,6]]},"DOI":"10.1016\/0164-1212(83)90025-0","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:49:55Z","timestamp":1060318195000},"page":"123-135","source":"Crossref","is-referenced-by-count":0,"title":["Behavior specification in a software design system"],"prefix":"10.1016","volume":"3","author":[{"given":"Jack C.","family":"Wileden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John H.","family":"Sayler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William E.","family":"Riddle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan R.","family":"Segal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allan M.","family":"Stavely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(83)90025-0_BIB1","article-title":"The specification of process synchronization","volume":"Vol. 16","author":"Campbell","year":"1974"},{"key":"10.1016\/0164-1212(83)90025-0_BIB2","article-title":"Assigning meaning to programs","volume":"Vol. 19","author":"Floyd","year":"1967"},{"key":"10.1016\/0164-1212(83)90025-0_BIB3","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1145\/359897.359904","article-title":"A language for formal problem specification","volume":"20","author":"Greif","year":"1977","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(83)90025-0_BIB4","series-title":"Mathematical Theory of Computation","author":"Manna","year":"1974"},{"key":"10.1016\/0164-1212(83)90025-0_BIB5","article-title":"The translation of path expressions into message transfer expressions","author":"Riddle","year":"1974"},{"key":"10.1016\/0164-1212(83)90025-0_BIB6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0096-0551(79)90008-0","article-title":"An approach to software system behavior specification","volume":"4","author":"Riddle","year":"1979","journal-title":"J. Computer Languages"},{"key":"10.1016\/0164-1212(83)90025-0_BIB7","series-title":"Software Engineering Environments","first-page":"191","article-title":"An assessment of DREAM","author":"Riddle","year":"1981"},{"key":"10.1016\/0164-1212(83)90025-0_BIB8","series-title":"Proc. 13th Hawaii International Conf. on System Sciences","article-title":"Hierarchical description of software system organization","author":"Riddle","year":"1980"},{"key":"10.1016\/0164-1212(83)90025-0_BIB9","article-title":"Abstract process types","author":"Riddle","year":"1977"},{"key":"10.1016\/0164-1212(83)90025-0_BIB10","series-title":"Proc. 1978 National Computer Conference","first-page":"549","article-title":"A description scheme to aid the design of collections of concurrent processes","author":"Riddle","year":"1978"},{"key":"10.1016\/0164-1212(83)90025-0_BIB11","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1109\/TSE.1978.231513","article-title":"Behavior modelling during software design","volume":"SE-4","author":"Riddle","year":"1978","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/0164-1212(83)90025-0_BIB12","series-title":"Information Technology: Proc. 3rd Jerusalem Conf. on Information Technology","article-title":"DREAM\u2014A software design aid system","author":"Riddle","year":"1978"},{"key":"10.1016\/0164-1212(83)90025-0_BIB13","series-title":"Proc. of Specification of Reliable Software Conference","first-page":"37","article-title":"Abstract monitor types","author":"Riddle","year":"1979"},{"key":"10.1016\/0164-1212(83)90025-0_BIB14","article-title":"Philosophy of the DREAM system","author":"Sayler","year":"1977"},{"key":"10.1016\/0164-1212(83)90025-0_BIB15","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TSE.1978.231501","article-title":"Software descriptions with flow expressions","volume":"SE-4","author":"Shaw","year":"1978","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/0164-1212(83)90025-0_BIB16","article-title":"DREAM design notation example: Scheduler for a multiprocessor system","author":"Wileden","year":"1977"},{"key":"10.1016\/0164-1212(83)90025-0_BIB17","article-title":"Modelling Parallel Systems with Dynamic Structure","author":"Wileden","year":"1978"},{"key":"10.1016\/0164-1212(83)90025-0_BIB18","series-title":"Proc. ACM National Conf.","first-page":"88","article-title":"DREAM\u2014An approach to designing large scale, concurrent software systems","author":"Wileden","year":"1979"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121283900250?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121283900250?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:54:08Z","timestamp":1552618448000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121283900250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,6]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1983,6]]}},"alternative-id":["0164121283900250"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(83)90025-0","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1983,6]]}}}