{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:11:31Z","timestamp":1729663891545,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2003.1245351","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"257-262","source":"Crossref","is-referenced-by-count":0,"title":["A synergistic interweaving of formal and informal methods"],"prefix":"10.1109","author":[{"family":"WL Yeung","sequence":"first","affiliation":[]},{"given":"K.R.P.H.","family":"Leung","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(00)00070-4"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1995.496953"},{"key":"18","article-title":"JSD Expressed in CSP","volume":"prg 51","author":"sridhar","year":"1985","journal-title":"Tech Monograph"},{"journal-title":"The Theory and Practice of Concurrency","year":"1998","author":"roscoe","key":"15"},{"key":"16","first-page":"11","article-title":"A New Rigorous Approach for Modelling and Refining Concurrent Behaviour in JSD Specifications","volume":"13","author":"rose","year":"1992","journal-title":"Structured Programming"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.879807"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2000.896695"},{"key":"11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1049\/sej.1989.0010","article-title":"object-oriented design, jackson system development (jsd) specifications and concurrency","volume":"4","author":"hull","year":"1989","journal-title":"Software Engineering Journal"},{"journal-title":"System Development","year":"1983","author":"jackson","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.345825"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(92)90148-I"},{"key":"2","first-page":"314","author":"cameron","year":"1989","journal-title":"JSP & JSD The Jackson Approach to Software Development"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312938"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/52.268953"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/52.506463"},{"key":"6","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1145\/503209.503235","article-title":"A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models","author":"engels","year":"2001","journal-title":"Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering"},{"journal-title":"Special Section Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/ FSE '97)","year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.713325"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"9"},{"journal-title":"Applications of Formal Methods","year":"1995","author":"hinchey","key":"8"}],"event":{"name":"27th Annual International Computer Software and Applications Conference","acronym":"CMPSAC-03","location":"Dallas, TX, USA"},"container-title":["Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8813\/27898\/01245351.pdf?arnumber=1245351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:05:46Z","timestamp":1497571546000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1245351\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2003.1245351","relation":{},"subject":[]}}