{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:00Z","timestamp":1725664680129},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_87","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:08:36Z","timestamp":1330290516000},"page":"179-194","source":"Crossref","is-referenced-by-count":9,"title":["Combining VDM-SL specifications with C++ code"],"prefix":"10.1007","author":[{"given":"Brigitte","family":"Fr\u00f6hlich","sequence":"first","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"11_CR1","unstructured":"Silberschatz A., Peterson J., and Galvin P. Operating System Concepts. Addison Wesley, 1991."},{"key":"11_CR2","unstructured":"D.J. Andrews, H. Bruun, B.S. Hansen, P.G. Larsen, N. Plat, et al. Information Technology \u2014 Programming Languages, their Environments and System Software Interfaces \u2014 Vienna Development Method-Specification Language Part 1: Base language. ISO, 1995."},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-1-4471-3229-5_10","volume-title":"Semantics of Specification Languages","author":"E. Astesiano","year":"1994","unstructured":"E. Astesiano and M. Cerioli. Multiparadigm Specification Languages: A First Attempt at Foundations. In J.F.Groote D.J.\u00c3ndrews and C.A. Middelburg, editors, Semantics of Specification Languages, pages 168\u2013185, 25\u201327 October 1993, Utrecht Springer-Verlag 1994."},{"key":"11_CR4","unstructured":"D. Bj\u00f8ner and C.B. Jones, editors. Formal Specification and Software Development. Prentice-Hall International, 1982."},{"key":"11_CR5","unstructured":"S. Kapplan C. Choopy. Mixing abstract and concret Modules: Specification, Development and Prototyping. In 12th IEEE-ACM International Conference on Software Engineering, Nice 1990, pages 173\u2013184, 1990."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Christine Choppy. Formal Specifications, Prototyping and Integrations Tests. In D. Simpson H.K. Nichols, editor, ESEC'87 1.st European Software Engineering Conference, Strasbourg, 1987, Lecture Notes in Computer Science 289, pages 172\u2013179. Springer Verlag, September 1987.","DOI":"10.1007\/BFb0022110"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"John Dawes. The VDM-SL Reference Guide. Pitman, 1991.","DOI":"10.1201\/9781482267419"},{"key":"11_CR8","unstructured":"Kees de Bruin. Towards an Interpreter for Full VDM-SL. Master's thesis, Delft University, June 1993."},{"key":"11_CR9","unstructured":"Margaret A. Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley Publishing Company, 1990."},{"issue":"9","key":"11_CR10","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/185009.185028","volume":"29","author":"R. Elmstr\u00f8m","year":"1994","unstructured":"Ren\u00e9 Elmstr\u00f8m, Peter Gorm Larsen, and Poul B\u00f8gh Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices, 29(9):77\u201380, September 1994.","journal-title":"ACM Sigplan Notices"},{"key":"11_CR11","unstructured":"B. Fischer, M. Kievernagel, and W. Struckmann. VCR: A VDM-based Software Component Retrieval Tool. Technical Report 94\u201308, Technische Universit\u00e4t Braunsweig, November 1994."},{"key":"11_CR12","unstructured":"The VDM-SL Tool Group. The IFAD VDM-SL Language. Technical report, IFAD, December 1994."},{"key":"11_CR13","unstructured":"The VDM-SL Tool Group. The VDM C++ Library. Technical report, IFAD, October 1995."},{"key":"11_CR14","unstructured":"Michael G. Hinchey and Jonathan P. Bowen, editors. Applications of Formal Methods. Prentice Hall, 1995."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Iain Houston and Steve King. CICS Project Report: Experiences and Results from the Use of Z in IBM. In S. Prehn and W.J. Toetenel, editors, VDM'91 \u2014 Formal Software Development Methods, pages 588\u2013696. Springer-Verlag, October 1991.","DOI":"10.1007\/3-540-54834-3_34"},{"key":"11_CR16","volume-title":"Systematic Software Development Using VDM","author":"Cliff B. B. Jones","year":"1990","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, Englewood Cliffs, New Jersey, second edition, 1990.","edition":"second edition"},{"key":"11_CR17","unstructured":"J.J. Horning J.V. Guttag and J.M. Wing. Larch in Five Easy Pieces. Technical report, Digital Systems Research Center, July 1985."},{"key":"11_CR18","unstructured":"Peter Gorm Larsen, John Fitzgerald, and Tom Brookes. Lessons Learned from Applying Formal Specification in Industry. Submitted to IEEE Software, August 1995."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Peter Gorm Larsen and Poul B\u00f8gh Lassen. An Executable Subset of Meta-IV with Loose Specification. In VDM '91: Formal Software Development Methods. VDM Europe, Springer-Verlag, March 1991.","DOI":"10.1007\/3-540-54834-3_36"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Yves Ledru. Proof-Based Development of Specifications with KIDS\/VDM. In M. Bertran M. Naftalin, T. Denvir, editor, FME'94: Industrial Benefit of Formal Methods, pages 214\u2013232. Springer-Verlag, October 1994.","DOI":"10.1007\/3-540-58555-9_97"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Paul Mukherjee. Computer-aided Validation of Formal Specifications. Software Engineering Journal, pages 133\u2013140, July 1995.","DOI":"10.1049\/sej.1995.0017"},{"key":"11_CR22","unstructured":"B. Stroustrup. The C++ Programming Language, 2nd edition. Addison Wesley Publishing Company, 1991."},{"key":"11_CR23","unstructured":"SUN-OS. Programmer's Overview Utilities & Libraries. Technical report, Sun Microsystems, Inc., 27 March 1990."},{"key":"11_CR24","unstructured":"Larry Wall and Randal L. Schwartz. Programming Perl. O'Reilly and Associates, Inc, 1992."},{"key":"11_CR25","unstructured":"M.-H. Li\u00e9geois Y. Ledru. Integrating REFINE prototypes in a VDM development framework. In Constructing Programs from Specifications, pages 236\u2013258, 1991."},{"key":"11_CR26","unstructured":"Nabil Zakhama. Run-Time Adaptation System \u2014 Target Code Procedures Activate (RTAS-TCPACT) \u2014 User's Guide. Technical report, T\u00e9l\u00e9syst\u00e8mes, March 1993. IPTES Doc.id.: IPTES-TS-53-V2.1."},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Pamela Zave. A Compositional Approach to Multiparadigm Programming. IEEE Software, pages 15\u201325, September 1989.","DOI":"10.1109\/52.35586"},{"issue":"4","key":"11_CR28","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"Pamela Zave and Michael Jackson. Conjunction as Composition. ACM Transactions on Software Engineering and Methology, 2(4):379\u2013411, October 1993.","journal-title":"ACM Transactions on Software Engineering and Methology"}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:13:31Z","timestamp":1640945611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}