{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T05:02:27Z","timestamp":1648530147005},"reference-count":28,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"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":[[2000,12]]},"DOI":"10.1016\/s0164-1212(00)00070-4","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T02:09:52Z","timestamp":1049508592000},"page":"193-202","source":"Crossref","is-referenced-by-count":1,"title":["Automated translation of JSD into CSP \u2013 a case study in methods integration"],"prefix":"10.1016","volume":"55","author":[{"given":"W.L.","family":"Yeung","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"8","key":"10.1016\/S0164-1212(00)00070-4_BIB1","first-page":"68","article-title":"Formal methods and safety-critical standards","volume":"27","author":"Bowen","year":"1994","journal-title":"Computer"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB2","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1049\/sej.1993.0025","article-title":"Safety-critical systems, formal methods, and standards","volume":"8","author":"Bowen","year":"1993","journal-title":"Software Engineering Journal"},{"issue":"2","key":"10.1016\/S0164-1212(00)00070-4_BIB3","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1109\/TSE.1986.6312938","article-title":"An overview of JSD","volume":"SE-12","author":"Cameron","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB4","series-title":"Structured Analysis and System Specification","author":"DeMarco","year":"1978"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB5","doi-asserted-by":"crossref","unstructured":"Dick, J., Loubersac, J., 1991. Integrating structured and formal methods: a visual approach to VDM. In: Proceedings of Third European Software Engineering Conference, pp. 37\u201359","DOI":"10.1007\/3540547428_42"},{"issue":"10","key":"10.1016\/S0164-1212(00)00070-4_BIB6","doi-asserted-by":"crossref","first-page":"823","DOI":"10.1002\/spe.4380181002","article-title":"A LISP implementation of the model for communicating sequential processes","volume":"18","author":"Fidge","year":"1988","journal-title":"Software Practice and Experience"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB7","unstructured":"Hoare, C.A.R., 1985. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, pp. 1985"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB8","unstructured":"HOOD Technical Group, 1995. HOOD Reference Manual, Prentice-Hall, NJ"},{"issue":"6","key":"10.1016\/S0164-1212(00)00070-4_BIB9","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1093\/comjnl\/29.6.500","article-title":"Implementations of the CSP notation for concurrent systems","volume":"29","author":"Hull","year":"1986","journal-title":"Computer Journal"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB10","series-title":"Principles of Program Design","author":"Jackson","year":"1975"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB11","series-title":"System Development","author":"Jackson","year":"1983"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB12","unstructured":"Josephs, M.B., 1989. JSD and CSP, Technical Report of Programming Research Group, University of Oxford"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB13","unstructured":"McDermid, J.A., et al., 1994. Tool support for high integrity Ada software. In: Toussaint, M. (Ed.), Proceedings of First International Eurospace\u2013Ada\u2013Europe Symposium"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB14","unstructured":"Ministry of Defense, 1991. The Procurement of Safety Critical Software in Defence Equipment. INTERIM Defence Standard No. 00-55"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB15","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1995.0006","article-title":"Combining formal specification and CORE: an experimental investigation","volume":"10","author":"Moulding","year":"1995","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB16","series-title":"A Classical Mind: Essays in Computer Science","article-title":"Model-checking CSP","author":"Roscoe","year":"1994"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB17","series-title":"The Theory and Practice of Concurrency","author":"Roscoe","year":"1997"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB18","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/62065.62069","article-title":"An entity-life modeling approach to the design of concurrent software","volume":"32","author":"Sandon","year":"1989","journal-title":"Communications of ACM"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB19","series-title":"Denotational Semantics: A Methodology for Language Development","author":"Schmidt","year":"1983"},{"issue":"6","key":"10.1016\/S0164-1212(00)00070-4_BIB20","doi-asserted-by":"crossref","first-page":"600","DOI":"10.1093\/comjnl\/35.6.600","article-title":"Integrated structured analysis and formal specification techniques","volume":"35","author":"Semmens","year":"1992","journal-title":"The Computer Journal"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB21","unstructured":"Sridhar, K.T., Hoare, C.A.R., 1985. JSD expressed in CSP. Technical Monograph No. PRG-51, Programming Research Group, Oxford University Computing Laboratory"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB22","series-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"Stoy","year":"1977"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB23","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/360303.360308","article-title":"The denotational semantics of programming languages","volume":"19","author":"Tennent","year":"1976","journal-title":"Communications of ACM"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB24","series-title":"Practical SSADM Version","author":"Weaver","year":"1993"},{"issue":"6","key":"10.1016\/S0164-1212(00)00070-4_BIB25","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1002\/spe.4380180605","article-title":"CSP-i: an implementation of communicating sequential processes","volume":"18","author":"Wrench","year":"1988","journal-title":"Software Practice and Experience"},{"issue":"8","key":"10.1016\/S0164-1212(00)00070-4_BIB26","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/0950-5849(92)90148-I","article-title":"Theoretical basis for Jackson system development","volume":"34","author":"Yeung","year":"1992","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB27","series-title":"Modern Structured Analysis","author":"Yourdon","year":"1989"},{"key":"10.1016\/S0164-1212(00)00070-4_BIB28","series-title":"Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design","author":"Yourdon","year":"1979"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121200000704?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121200000704?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T22:28:30Z","timestamp":1555799310000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121200000704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["S0164121200000704"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(00)00070-4","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}