{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:16:40Z","timestamp":1739423800812,"version":"3.37.0"},"reference-count":37,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Human-Computer Interaction"],"published-print":{"date-parts":[[1989,1]]},"DOI":"10.1080\/10447318909525964","type":"journal-article","created":{"date-parts":[[2009,9,24]],"date-time":"2009-09-24T14:44:47Z","timestamp":1253803487000},"page":"161-185","source":"Crossref","is-referenced-by-count":1,"title":["A knowledge\u2010based software environment (KBSE) for designing concurrent processes"],"prefix":"10.1080","volume":"1","author":[{"given":"P.C.\u2010Y.","family":"Sheu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Yoo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2009,9,23]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/MC.1979.1658580","volume":"12","author":"Agerwala T.","year":"1979","journal-title":"Computer"},{"key":"CIT0002","unstructured":"Allen, R., Baumgartner, D., Kennedy, K. and Porterfield, A. PTOOL: A semi\u2010automatic parallel programming assistant. 1986 International Conference on Parallel Processing. St. Charles, IL. August, pp.164\u2013170."},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.1985.1662863","volume":"18","author":"Alford M.","year":"1985","journal-title":"Computer"},{"key":"CIT0004","unstructured":"Balzer, R., Goldman, N. and Neeches, B. Specification\u2010based computing environments for information management. Proceedings of International Conference on Data Engineering. Rockville, MD. April, pp.24\u201327."},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1109\/TSE.1984.5010282","volume":"10","author":"Cheatham T.","year":"1984","journal-title":"IEEE Trans. Software Engineering"},{"key":"CIT0006","unstructured":"Gardo, G. Toward a definition of modeling power for stochastic petri net models. International Workshop on Petri Nets and Performance Models. Madison, Wl. August, pp.141\u2013154."},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"Cook, R. and Aulefta, R. Statute: A visual simulation package for software prototyping. SIGPLAN \u201886: Symposium on Practical Software Development Environments. Palo Alto, CA. pp.102\u2013110.","DOI":"10.1145\/24208.24221"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"Commoner F.","year":"1971","journal-title":"Journal of Computer and System Sciences"},{"key":"CIT0009","doi-asserted-by":"crossref","unstructured":"Delisle, N. and Schwartz, M. A programming environment for CSP. SIGPLAN \u201886: Symposium on Practical Software Development Environments. Palo Alto, CA. pp.34\u201341.","DOI":"10.1145\/390012.24213"},{"volume-title":"Structured analysis and system specification","year":"1978","author":"DeMarco T.","key":"CIT0010"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1976.233534","volume":"2","author":"DeRemer F.","year":"1976","journal-title":"IEEE Trans. on Software Engineering"},{"volume-title":"Smalltalk\u201080: The language and its implementation","year":"1983","author":"Goldberg A.","key":"CIT0012"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(76)90008-6","volume":"2","author":"Hack M.","year":"1976","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"CIT0014","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/322169.322175","volume":"27","author":"Henderson P.","year":"1980","journal-title":"Journal of the ACM"},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1109\/32.6152","volume":"14","author":"Hudson S.","year":"1988","journal-title":"IEEE Trans, on Software Engineering"},{"issue":"3","key":"CIT0016","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/322077.322079","volume":"25","author":"Landweber L.","year":"1978","journal-title":"Journal of the ACM"},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0278-6125(84)90003-7","volume":"3","author":"Mackulak G.","year":"1984","journal-title":"Journal of Manufacturing Systems"},{"key":"CIT0018","doi-asserted-by":"crossref","unstructured":"Marzullo, K. and Weibe, D. Jasmine: A software system modeling facility. SIGPLAN \u201886: Symposium on Practical Software Development Environments. Palo Alto, CA. pp.121\u2013131.","DOI":"10.1145\/24208.24223"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0278-6125(86)90043-9","volume":"5","author":"Merabet A.","year":"1986","journal-title":"Journal of Manufacturing Systems"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/TCOM.1976.1093347","volume":"24","author":"Merlin P.","year":"1976","journal-title":"IEEE Trans. on Communications"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"Peterson J.","year":"1977","journal-title":"Computing Surveys"},{"volume-title":"Petri net theory and the modeling of systems","year":"1981","author":"Peterson J.","key":"CIT0022"},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/MS.1985.231053","volume":"2","author":"Pratt T.","year":"1985","journal-title":"Software"},{"key":"CIT0024","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MS.1985.232066","volume":"2","author":"Segall Z.","year":"1985","journal-title":"Software"},{"key":"CIT0025","first-page":"201","volume-title":"Future Generations Computer Systems","volume":"3","author":"Sheu P. C.\u2010Y.","year":"1988"},{"key":"CIT0026","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0164-1212(89)90004-6","volume":"9","author":"Sheu P. C.\u2010Y.","year":"1989","journal-title":"Journal of Systems and Software"},{"volume-title":"Mathematical logic","year":"1967","author":"Shoenfield J.","key":"CIT0027"},{"key":"CIT0028","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/TSE.1985.231879","volume":"11","author":"Smith D.","year":"1985","journal-title":"IEEE Trans. Sohware Engineering"},{"key":"CIT0029","unstructured":"Snyder, L. and Socha, D. Poker on the COSMIC Cube: The First retargetable parallel programming language and environment. 1986 International Conference on Parallel Processing. St. Charles, IL. August, pp.628\u2013635."},{"key":"CIT0030","doi-asserted-by":"crossref","unstructured":"Sweet, R. The Mesa Programming environment. SIGPLAN \u201885: Symposium on Language Issues and Programming Environments. Seattle, WA. June, pp.216\u2013229.","DOI":"10.1145\/872728.806843"},{"key":"CIT0031","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/MS.1984.234050","volume":"1","author":"Teitelman W.","year":"1984","journal-title":"Software"},{"volume-title":"Part II, Vol. IV\u2010Function modeling manual (IDEFO) U. S. AFWL Report No. 10","year":"1981","key":"CIT0032"},{"key":"CIT0033","doi-asserted-by":"crossref","unstructured":"Warren, D., Pereira, L. and Pereira, F. Prolog: The language and its implementation compared with LISP. (SIGPLAN Notices, Vol. 12 (8), 109\u2013115). Proceedings of a Symposium on Artificial Intelligence and Programming Languages. Rochester, NY. August,","DOI":"10.1145\/872734.806939"},{"key":"CIT0034","first-page":"1296","volume":"11","author":"Waters R.","year":"1981","journal-title":"IEEE Trans. Software Engineering"},{"key":"CIT0035","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1109\/32.6151","volume":"14","author":"Young M.","year":"1988","journal-title":"IEEE Trans, on Software Engineering"},{"key":"CIT0036","unstructured":"Zanilo, C. Object\u2010base logic programming. Symposium on Logic Programming. Atlantic City, NJ. February,"},{"key":"CIT0037","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/B978-0-12-737550-2.50008-7","volume-title":"Pattern\u2010directed inference systems","author":"Zisman M.","year":"1978"}],"container-title":["International Journal of Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10447318909525964","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T10:10:34Z","timestamp":1739355034000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/10447318909525964"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,1]]},"references-count":37,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2009,9,23]]},"published-print":{"date-parts":[[1989,1]]}},"alternative-id":["10.1080\/10447318909525964"],"URL":"https:\/\/doi.org\/10.1080\/10447318909525964","relation":{},"ISSN":["1044-7318","1532-7590"],"issn-type":[{"type":"print","value":"1044-7318"},{"type":"electronic","value":"1532-7590"}],"subject":[],"published":{"date-parts":[[1989,1]]}}}