{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:50Z","timestamp":1725664130841},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589518"},{"type":"electronic","value":"9783540491675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58951-1_106","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:56:18Z","timestamp":1330257378000},"page":"223-237","source":"Crossref","is-referenced-by-count":0,"title":["An integrated approach to teaching requirements modelling"],"prefix":"10.1007","author":[{"given":"Pat","family":"Allen","sequence":"first","affiliation":[]},{"given":"Lesley","family":"Semmens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"20_CR1","unstructured":"Allen, P. M. & Semmens, L. T., Teaching formal and structured methods: an integrated approach, 2nd All-Ireland Conference on Teaching Computing, Dublin, September 1994."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Aujla, S., Bryant, T. & Semmens, L. T., A rigorous review technique: using formal notations within conventional development methods, Software Engineering Standards Symposium, Brighton, UK, August\/September 1993, IEEE Computer Society.","DOI":"10.1109\/SESS.1993.263945"},{"key":"20_CR3","unstructured":"Austin, S. & Parkin, G. I., Formal Methods: A Survey, National Physical Laboratory, Queens Road, Teddington, Middlesex, TW 110LW, UK, 1993."},{"key":"20_CR4","unstructured":"Collins, B. P., Nicholls, J. E & Sorenson, I. H., Introducing formal methods: the CICS experience with Z, IBM United Kingdom Laboratories, Hursley Park, Winchester and Programming Research Group, Oxford University, 1988."},{"key":"20_CR5","unstructured":"Fencott, P. C., Lockyer, M. A. & Taylor, P., Experiences in integrating structured and formal notations for real-time systems, Methods Integration Workshop, Leeds Metropolitan University, September 1991."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Hall, A., Seven myths of formal methods, IEEE Software, September 1990, 11\u201319.","DOI":"10.1109\/52.57887"},{"key":"20_CR7","volume-title":"BCS\/FACS Workshop","author":"A. Hall","year":"1992","unstructured":"Hall, A., Development of an Air Traffic Control System, BCS\/FACS Workshop, Imperial College, London, December 1992."},{"key":"20_CR8","unstructured":"Hamilton, V., Experiences of combining Yourdon and VDM, Methods Integration Workshop, Leeds Metropolitan University, September 1991."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Hodgson, R. & Dunne, S. E., Process, data, and behaviour (perspectives on system development), Information and Software Technology, 32 (8), 1990.","DOI":"10.1016\/0950-5849(90)90144-G"},{"key":"20_CR10","unstructured":"Jackson, M., Systems Development, Prentice-Hall, 1981."},{"key":"20_CR11","unstructured":"Jones, C. B., Systematic Software Development Using VDM, Prentice-Hall, 1986."},{"key":"20_CR12","unstructured":"Mellor, S. J. & Ward, P. T, Structured Development for Real-Time Systems, Yourdon Press, 1985."},{"key":"20_CR13","unstructured":"Milner, R., Communication and Concurrency, Prentice-Hall, 1989."},{"key":"20_CR14","unstructured":"Rawson, M. G., Allen, P. M, & Semmens, L. T., Z-Builder: a formal object-oriented method and tool, Technical Report, School of Computing and Maths, University of Huddersfield, 1994."},{"key":"20_CR15","unstructured":"Semmens, L. T. & Allen, P. M., A formal definition of the Yourdon essential model, Technical Report IESl\/91, Leeds Metropolitan University, Faculty of Information and Engineering Systems, 1991."},{"issue":"6","key":"20_CR16","doi-asserted-by":"crossref","first-page":"600","DOI":"10.1093\/comjnl\/35.6.600","volume":"35","author":"L. T. Semmens","year":"1992","unstructured":"Semmens, L. T., France, R. B. & Docker, T. W. G., Integrated structured analysis and formal specification techniques, The Computer Journal, 35 (6), 600\u2013610, 1992.","journal-title":"The Computer Journal"},{"key":"20_CR17","volume-title":"Object-Oriented Systems Analysis: Modeling the World in Data","author":"S. Shlaer","year":"1988","unstructured":"Shlaer, S. & Mellor, S. J., Object-Oriented Systems Analysis: Modeling the World in Data, Yourdon Press, Englewood Cliffs, N.J., 1988."},{"key":"20_CR18","unstructured":"Spivey, J. M., The Z Notation: A Reference Manual, (2nd edition) Prentice-Hall, 1992."},{"key":"20_CR19","unstructured":"SSADM Version 4 Reference Manual, NCC\/Blackwell, Oxford, 1990"},{"issue":"4","key":"20_CR20","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1049\/sej.1992.0027","volume":"7","author":"M. M. West","year":"1992","unstructured":"West, M. M. & Eaglestone, B. M., Software Development: Two approaches to animation of Z specifications using Prolog, Software Engineering Journal, 7 (4), 264\u2013276, 1992.","journal-title":"Software Engineering Journal"},{"key":"20_CR21","volume-title":"Modern Structured Analysis","author":"E. Yourdon","year":"1989","unstructured":"Yourdon, E., Modern Structured Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1989."}],"container-title":["Lecture Notes in Computer Science","Software Engineering Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58951-1_106.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:21:41Z","timestamp":1619558501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58951-1_106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589518","9783540491675"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-58951-1_106","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}