{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:30Z","timestamp":1725663390111},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176541"},{"type":"electronic","value":"9783540477402"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17654-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:16:25Z","timestamp":1330197385000},"page":"63-76","source":"Crossref","is-referenced-by-count":5,"title":["Using VDM in an Object-Oriented development method for Ada software"],"prefix":"10.1007","author":[{"given":"Chris","family":"Chedgey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seamus","family":"Kearney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-J\u00fcrgen","family":"Kugler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"5_CR1","unstructured":"Abrial, J.R., The Specification Language Z: Basic Library, Oxford University Programming Research Group, Specification Group Working Paper, 1980"},{"key":"5_CR2","unstructured":"Ada Language Reference Manual ANSI\/Mil.Std 1815A, Alsys, Jan 1983"},{"key":"5_CR3","unstructured":"AFFIRM Reference Library, 5 Volumes: Lee, S. and Gerhart, S.L. (eds.), AFFIRM User's Guide Erickson, R.W. (ed.), AFFIRM Collected Papers"},{"key":"5_CR4","unstructured":"Thompson, D.H. and Erickson, R.W. (eds.), AFFIRM Reference Manual"},{"key":"5_CR5","unstructured":"Bates, R.L. and Gerhart, S.L. (eds.), AFFIRM Annotated Transcripts"},{"key":"5_CR6","unstructured":"Gerhart, S.L. (ed.), AFFIRM Type Library USC Information Science Institute, Marina Del Rey, California, Version 2.0, Feb. 1981"},{"key":"5_CR7","unstructured":"Alford, M.W. et al., Software Requirements Engineering Methodology (SREM) at the age of Four, in: Proceedings of COMSAC 4, Chicago, 1980"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Beech, D. (ed.), Gram, C., Kugler, H.-J., Newman, I., Stiegler, H., Unger, C., Concepts in User Interfaces: A Reference Model for Command and Response Languages, Lecture Notes in Computer Science 234, Springer-Verlag, 1986","DOI":"10.1007\/3-540-16791-9"},{"key":"5_CR9","unstructured":"Koch, G. (ed.) et al, Final Report of Task 5.1: Selection of Case Studies, Project ToolUse, November 1985."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D. and Jones, C.B. (eds.), The Vienna Development Method: The MetaLanguage, Lecture Notes in Computer Science 61, Springer-Verlag, 1978","DOI":"10.1007\/3-540-08766-4"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D. and Oest, O.N. (eds.), Towards a Formal Specification of Ada, Springer-Verlag, Lecture Notes in Computer Science 98, 1980","DOI":"10.1007\/3-540-10283-3"},{"key":"5_CR12","unstructured":"Bj\u00f8rner, D. and Jones, C.B., Formal Specification and Software Development, Prentice-Hall, 1982"},{"key":"5_CR13","unstructured":"Bj\u00f8rner, D. and Prehn, S., Software Engineering Aspects of VDM, in: Proceedings of the International Seminar on Software Factory Experiences, North-Holland, 1982"},{"key":"5_CR14","unstructured":"Booch, G., Software Engineering with Ada, Benjamin\/Cummings, 1983"},{"key":"5_CR15","unstructured":"Cameron, J.R., JSP & JSD: The Jackson Approach to Software Development, IEEE Computer Society, 1983"},{"key":"5_CR16","volume-title":"Technical Annex to 4th Interim Report of ESPRIT 496","author":"C. Chedgey","year":"1986","unstructured":"Chedgey, C. et al., Technical Annex to 4th Interim Report of ESPRIT 496, Generics (Software) Ltd., Dublin, Nov. 1986"},{"key":"5_CR17","unstructured":"Cohen, B., Harwood, W.T. and Jackson, M.I., The Specification of Complex Systems, Addison-Wesley, 1986"},{"key":"5_CR18","volume-title":"Experimental JSD Rule System","author":"P. Connolly","year":"1986","unstructured":"Connolly, P., Experimental JSD Rule System, Project ToolUse, Insight.PC86h, Vector Software Ltd., Dublin, 1986"},{"key":"5_CR19","unstructured":"Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, 1976"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Greenspan, S., Borgida, A., Mylopoulos, J., Knowledge Representation as the basis for Requirements Specifications, IEEE Computer, April 1985","DOI":"10.1007\/978-3-642-70840-4_13"},{"key":"5_CR21","unstructured":"Horgen, H. et al., Workplan for ESPRIT Project 510 ToolUse, Phase 2, Oct. 1986"},{"key":"5_CR22","unstructured":"Jackson, M., System Development, Prentice-Hall, 1983"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Jackson, M.I., Denvir, B.T., and Shaw, R.C., Experience of Introducing the Vienna Development Method into an Industrial Organisation, in: Proceedings of the TAPSOFT Conference, Berlin, 1985, Springer-Verlag, Lecture Notes in Computer Science 186, 1985","DOI":"10.1007\/3-540-15199-0_27"},{"key":"5_CR24","unstructured":"Jones, C.B., Software Development: A Rigorous Approach, Prentice-Hall, 1980"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Jones, C.B., The Role of Proof Obligations in Software Design, in: Proceedings of the TAPSOFT Conference, Berlin, 1985, Springer-Verlag, Lecture Notes in Computer Science 186, 1985","DOI":"10.1007\/3-540-15199-0_3"},{"key":"5_CR26","unstructured":"Jones, C.B., Systematic Software Development Using VDM, Prentice-Hall, 1986"},{"key":"5_CR27","unstructured":"Kearney, S., OOD\/VDM Methodology, Project ToolUse, Generics.sk86t, Generics (Software) Ltd., November 1986"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Koch, G., Epple, W., Sars, A System for Application Oriented Requirements Specification, 1983","DOI":"10.1016\/S1474-6670(17)62595-3"},{"key":"5_CR29","unstructured":"Krieg-Br\u00fcckner, B., Luckham, D., Von Henke, F. and Owe, O., Draft Reference Manual for Anna: A Language for Annotating Ada Programs, DARPA\/RADC, 1983"},{"key":"5_CR30","unstructured":"Kugler, H.-J. et al., GenericsAdaM \u2014 Handbook for the Generics Ada Development Method, Generics (Software) Ltd., 1987 (to appear)"},{"key":"5_CR31","unstructured":"Lemaitre, M., A Synthesis of VDM, Project ToolUse, Cert.ML85b, 1985"},{"key":"5_CR32","unstructured":"Lemoine, M., Evaluation of B., Cert.ML86f, June 1986"},{"key":"5_CR33","unstructured":"Mac an Airchinnigh, M., VDM and ADA, Relational Meta IV and Prolog, Generics (Software) Ltd., 1986"},{"key":"5_CR34","unstructured":"O'Neill, D., Support Tools for the Abstract Data Typing Approach to Software Development, M.Sc. Thesis, Trinity College Dublin, 1987 (to appear)"},{"key":"5_CR35","unstructured":"Prehn, S. et al., Formal Methods Appraisal: Final Report \u2014 DDC Subprogramme, ESPRIT Preparatory Study Report, 1983"},{"key":"5_CR36","unstructured":"Ryan, K.T. (ed.) et al., TCD.KR86B, An Experimental Basis for ToolUse \u2014 Task 5.2 Report, Project ToolUse, Trinity College Dublin, Dec. 1986"},{"key":"5_CR37","unstructured":"Freeman, P., Wasserman, A., Tutorial on Software Design Techniques, Third Edition, IEEE Computer Society, April 1980."}],"container-title":["Lecture Notes in Computer Science","VDM '87 VDM \u2014 A Formal Method at Work"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17654-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:08Z","timestamp":1605643988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17654-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176541","9783540477402"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-17654-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}