{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:55Z","timestamp":1725664375929},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585558"},{"type":"electronic","value":"9783540490319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58555-9_122","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:36:38Z","timestamp":1330274198000},"page":"681-702","source":"Crossref","is-referenced-by-count":7,"title":["Formalising the semantics of Ward\/Mellor SA\/RT essential models using a process algebra"],"prefix":"10.1007","author":[{"given":"P. C.","family":"Fencott","sequence":"first","affiliation":[]},{"given":"A. J.","family":"Galloway","sequence":"additional","affiliation":[]},{"given":"M. A.","family":"Lockyer","sequence":"additional","affiliation":[]},{"given":"S. J.","family":"O'Brien","sequence":"additional","affiliation":[]},{"given":"S.","family":"Pearson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"40_CR1","unstructured":"S. Brien and J.Nicholls, editors. Z Base Standard. Oxford University Laboratory, 1991."},{"key":"40_CR2","unstructured":"G. Bruns. A Language for Value-passing CCS. Technical Report ECS-LFCS-91-175, University of Edinburgh, 1991."},{"key":"40_CR3","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"Frederic Boussinot and Robert De Simone. The esterel language. Proceedings of the IEEE, 79:1293\u20131304, 1991.","journal-title":"Proceedings of the IEEE"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Rene Elmstr\u00f8m, Poul B\u00f8gh Larsen, and Michael Andersen. An executable subset of VDM-SL in an SA\/RT framework. In Real-Time Systems, volume 15, pages 197\u2013211. Kluwer Academic Publishing, 1993.","DOI":"10.1007\/BF01088588"},{"key":"40_CR5","unstructured":"P. C. Fencott, M. A. Fox, A. J. Galloway, M. A. Lockyer, and S. J. O'Brien. Experiences with the integration of structured and formal methods for Real-Time systems. In Workshop Proceedings of the Software Engineering and its Applications: 6th International Conference, 269, rue de la Garenne, 92024 Nanterre Cedex, France, 1993. EC2."},{"key":"40_CR6","unstructured":"P.C. Fencott and B.D. Hebron. Hazard identification on requirements models. In Safety Case Workshop. University of York, 1994."},{"key":"40_CR7","volume-title":"The SAZ Method","author":"F. Polack","year":"1994","unstructured":"F. Polack, M. Whiston, and K.C. Mander. The SAZ Method. The University of York, Heslington, York., 1994."},{"key":"40_CR8","unstructured":"A. J. Galloway. A Bruns Style Definition for Value-Passing SCCS. Technical report, University of Teesside, 1994."},{"key":"40_CR9","unstructured":"A. J. Galloway. Formalising the semantics of Ward-Mellor SA\/RT essential models with Value-Passing SCCS. Technical report, University of Teesside, 1994."},{"key":"40_CR10","unstructured":"A. J. Galloway and S. J. O'Brien. A formal abstract syntax for pre\/post condition mini-specification descriptions in Ward-Mellor SA\/RT essential models. Technical report, University of Teesside, 1994."},{"key":"40_CR11","unstructured":"A. J. Galloway and S. J. O'Brien. A formal abstract syntax for Ward-Mellor SA\/RT essential models. Technical report, University of Teesside, 1994."},{"key":"40_CR12","first-page":"180","volume":"14","author":"F. H. Gregory","year":"1992","unstructured":"F. H. Gregory. SSM to information systems: A logical account. Systemist, 14:180\u2013189, 1992.","journal-title":"Systemist"},{"key":"40_CR13","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Nicholas Halbwachs, Paul Caspi, Pascal Raymond, and Daniel Pilaud. The synchronous data flow programming language LUSTRE. Proceedings of the IEEE, 79:1305\u20131320, 1991.","journal-title":"Proceedings of the IEEE"},{"key":"40_CR14","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"40_CR15","volume-title":"Strategies for Real-Time system specification","author":"D.J. Hately","year":"1987","unstructured":"D.J. Hately and I.A. Pirbhai. Strategies for Real-Time system specification. Dorset House, New York, NY, USA, 1987."},{"key":"40_CR16","unstructured":"C. B. Jones. Systematic Software Development Using VDM (2nd Ed.). Prentice-Hall, 1990."},{"key":"40_CR17","unstructured":"Claus Kronl\u00f6f, editor. Method Integration \u2014 Concepts and Case Studies. John Wiley & Sons, 1993."},{"key":"40_CR18","unstructured":"M. Lockyer, P.C. Fencott, and P. Taylor. The integration of structured and formal methods for real-time systems specification. In 5th Conference on Putting into Paractice Methods and Tools for Information Systems Design. University of Nantes, 1992."},{"key":"40_CR19","unstructured":"T. Maibaum. Forest \u2014 a logic for the formal requirements specification of real-time embedded systems. Technical Report ALVEY Project SE 015, Imperial College London, 1987."},{"key":"40_CR20","doi-asserted-by":"crossref","unstructured":"J.A. McDermid and L.M. Barroca. Formal methods: Use and relevance for the development of safety critical systems. Computer Journal, 35(6), 1992.","DOI":"10.1093\/comjnl\/35.6.579"},{"key":"40_CR21","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Hemel Hempstead, 1989."},{"key":"40_CR22","unstructured":"F. McMenamin and J. Palmer. Essential Systems Analysis. Prentice Hall, 1984."},{"key":"40_CR23","unstructured":"J. L. Peterson. Petri-Net Theory. Prentice-Hall, 1991."},{"key":"40_CR24","volume-title":"Formalising Yourdon","author":"L. T. Semmens","year":"1992","unstructured":"L. T. Semmens and P. M. Allen. Formalising Yourdon. In A. Bryant P. M. Allen and L. Semmens, editors, Proceedings of the Methods Integration Workshop, Leeds, 1992. Springer-Verlag."},{"key":"40_CR25","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"J.M. Spivey. The Z notation: a reference manual. Prentice-Hall, Hemel Hempstead, 1989."},{"key":"40_CR26","doi-asserted-by":"crossref","unstructured":"C. Stirling. An introduction to modal and temporal logics for CCS. Lecture Notes in Computer Science, 491, 1991.","DOI":"10.1007\/3-540-53932-8_41"},{"key":"40_CR27","unstructured":"P.T. Ward and S.J. Mellor. Structured Development for Real-Time Systems, volume 1,2,3. Prentice-Hall, 1985."},{"key":"40_CR28","volume-title":"Technical report","author":"G. Winskel","year":"1992","unstructured":"Glynn Winskel and Mogens Nielsen. Models for concurrency. Technical report, Comp. Sci. Dept, Aarhus Unversity, Denmark., 1992."},{"key":"40_CR29","unstructured":"E. Yourdon. Modern Structured Analysis. Prentice-Hall, 1989."}],"container-title":["Lecture Notes in Computer Science","FME '94: Industrial Benefit of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58555-9_122.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T08:09:11Z","timestamp":1640938151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58555-9_122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585558","9783540490319"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-58555-9_122","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}