{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:02Z","timestamp":1742598602707,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:03:29Z","timestamp":1330272209000},"page":"381-392","source":"Crossref","is-referenced-by-count":6,"title":["Engineering high quality parallel software using PARSE"],"prefix":"10.1007","author":[{"given":"Ian","family":"Gorton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toong Shoon","family":"Chan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Innes","family":"Jelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/MC.1987.1663385","volume":"20","author":"S.M. Shatz","year":"1987","unstructured":"S.M.Shatz and J-P.Wang, Introduction to Distributed Software Engineering, IEEE Computer, 20 (1987)23\u201331","journal-title":"IEEE Computer"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"C Pancake, Where are We Headed?, CACM 34 1991","DOI":"10.1145\/125490.125493"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"I.Gorton, I.Jelly, I and J.Gray. Parallel software engineering with PARSE, in Proceedings of 17th IEEE International Computer Software and Applications Conference, Phoenix, USA (1993) 124\u2013130","DOI":"10.1109\/CMPSAC.1993.404225"},{"key":"34_CR4","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1002\/cpe.4330020404","volume":"2","author":"V. Sunderam","year":"1990","unstructured":"V.Sunderam, PVM: A Framework for Parallel Distributed Computing, Concurrency: Practice and Experience, 2 (1990) 315\u2013339","journal-title":"Concurrency: Practice and Experience"},{"key":"34_CR5","volume-title":"Technical Report YCS 199","author":"A Burns","year":"1993","unstructured":"A Burns and A J Wellings, HRT-HOOD: A Structured Design Method for Hard Real-time Systems, Technical Report YCS 199, Dept of Computer Science, University of York, UK (to appear in Real-time Systems Journal) (1993)"},{"key":"34_CR6","unstructured":"Meta Software Corp., Design\/CPN reference manual, Cambridge, MA, USA, (1992)"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"J.Gray, I.Gorton and I.Jelly. Designing parallel database programs using PARSE, in Proceedings of 17th IEEEInternational Computer Software and Applications Conference, Phoenix, USA, (1993) 117\u2013123","DOI":"10.1109\/CMPSAC.1993.404224"},{"key":"34_CR8","unstructured":"I.Jelly, I.Gorton,and J.Gray. Using PARSE for transputer software development. in Transputer Applications and Systems Vol. 2, Proceedings of theWorld Transputer Congress, Aachen IOS Press (1993) 950\u2013964"},{"key":"34_CR9","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1109\/32.4651","volume":"14","author":"J. Billington","year":"1988","unstructured":"J.Billington, G.Wheeler, M.Wilbur-Ham, PROTEAN: a high-level Petri net tool for the specification and verification of communications protocols, IEEE Transactions on Software Engineering, 14 (1988) 310\u2013316","journal-title":"IEEE Transactions on Software Engineering"},{"key":"34_CR10","unstructured":"T.S.Chan and I.Gorton. A transputer-based implementation of HTPNET: a transport protocol for broadband networks, in Transputer Applications and Systems Vol. 2, Proceedings of the 1993 World Transputer Congress, Aachen IOS Press (1993) 899\u2013910"},{"key":"34_CR11","volume-title":"GreatSPN 1.5 Software Architecture","author":"G Chiola","year":"1991","unstructured":"G Chiola, GreatSPN 1.5 Software Architecture, in Proc Fifth Int Conf on Modelling Tools and Techniques for Computer Performance Evaluation, Turino, Elsevier Science Publishers BV (1991)"},{"key":"34_CR12","unstructured":"H Gomaa, Software Design Methods for Concurrent and Real-Time Systems, Addison-Wesley, 1993"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"D.C.DiNucci and R.G.Babb, Development of Portable Parallel Programs with LGDF2, in Proc. VAPP IV \u2014 CONPAR90, Zurich, (1990) 253\u2013264","DOI":"10.1007\/3-540-53065-7_105"},{"key":"34_CR14","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1109\/TSE.1986.6312938","volume":"12","author":"J. R. Cameron","year":"1986","unstructured":"J R Cameron, An Overview of JSD, IEEE Transactions on Software Engineering, 12, (1986) 222\u2013240","journal-title":"IEEE Transactions on Software Engineering"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"H R Simpson, The Mascot Method, Software Engineering Journal, May (1986), 103\u2013120","DOI":"10.1049\/sej.1986.0018"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"G Booch, Object-Oriented Design with Applications, Benjanim-Cummings, (1991)","DOI":"10.1145\/149576.149582"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"I.Jelly and I.Gorton, Software Engineering for Parallel Systems, to appear in Information and Software Technology Journal, June (1994)","DOI":"10.1016\/0950-5849(94)90060-4"},{"key":"34_CR18","first-page":"343","volume-title":"CASE tools for PARSE","author":"J. Gray","year":"1992","unstructured":"J.Gray, I.Gorton and I.Jelly. CASE tools for PARSE. in Proceedings of Parallel Computing and Transputers, Brisbane, IOS Press (1992) 343\u2013349"},{"key":"34_CR19","unstructured":"J P Kitajima and B Plateau, Building Synthetic Parallel Programs: the Project ALPES, in Proc IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, IFIP Transactions A-11, North-Holland (1992) 161\u2013170"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:29:09Z","timestamp":1742596149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}