{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:45Z","timestamp":1725663465497},"publisher-location":"Berlin, Heidelberg","reference-count":56,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541943"},{"type":"electronic","value":"9783540474852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54194-2_36","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:34:08Z","timestamp":1330191248000},"page":"178-210","source":"Crossref","is-referenced-by-count":1,"title":["Formal methods in software development requirements for a CASE"],"prefix":"10.1007","author":[{"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[]},{"given":"S\u00f8ren","family":"Prehn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"16_CR1","series-title":"Lectures Notes in Computer Science","volume-title":"VDM & Z \u2014 Formal Methods in Software Development","year":"1990","unstructured":"D. Bj\u00f8rner,, C.A.R. Hoare, and H. Langmaack, editors. VDM & Z \u2014 Formal Methods in Software Development, Proc. of VDM-Europe Symposium '90, volume 428 of Lectures Notes in Computer Science. Springer-Verlag, Heidelberg, Germany, 1990."},{"key":"16_CR2","series-title":"Lecture Notes on Computer Science","volume-title":"Proc. Capri '86 Conf. on Innovative Software Factories and Ada","author":"D. Bj\u00f8rner","year":"1986","unstructured":"D. Bj\u00f8rner. Project graphs and meta-programs: Towards a theory of software development. In N. Habermann and U. Montanari, editors, Proc. Capri '86 Conf. on Innovative Software Factories and Ada, Lecture Notes on Computer Science. Springer-Verlag, Heidelberg, Germany, May 1986."},{"key":"16_CR3","first-page":"1","volume-title":"Vol. 241 of Lecture Notes in Computer Science: Foundations of Software Technology and Theoretical Computer Science","author":"D. Bj\u00f8rner","year":"1986","unstructured":"D. Bj\u00f8rner. Software development graphs \u2014 a unifying concept for software development? In K.V. Nori, editor, Vol. 241 of Lecture Notes in Computer Science: Foundations of Software Technology and Theoretical Computer Science, pages 1\u20139. Springer-Verlag, Heidelberg, Germany, Dec. 1986."},{"unstructured":"D. Bj\u00f8rner. On the use of formal methods in software development. In Proc. of 9th International Conf. on Software Engineering, Monterey, California. IEEE, April 1987.","key":"16_CR4"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-17654-3_6","volume-title":"VDM \u2014 A Formal Method at Work","author":"D. Bj\u00f8rner","year":"1987","unstructured":"D. Bj\u00f8rner. The stepwise development of software development graphs \u2014 meta-programming VDM developments. In [11], pages 77\u201396. Springer-Verlag, Heidelberg, Germany, 1987."},{"unstructured":"D. Bj\u00f8rner. A procos project description. General Information Version 3, Dept. of Computer Science, Technical University of Denmark, October 1989.","key":"16_CR6"},{"unstructured":"D. Bj\u00f8rner. Interim deliverable: Procos \u2014 esprit bra 3104 provably correct systems. Report Version 5, Dept. of Computer Science, Technical University of Denmark, June 30 1990.","key":"16_CR7"},{"unstructured":"D. Bj\u00f8rner. Software Architectures and Programming Systems Design; volume I: Specification Principles \u2014 the VDM Approach. Addison-Wesley\/ACM Press, 1991.","key":"16_CR8"},{"unstructured":"D. Bj\u00f8rner. Software Architectures and Programming Systems Design; volume II: Implementation Principles \u2014 the VDM Approach. Addison-Wesley\/ACM Press, 1991.","key":"16_CR9"},{"unstructured":"D. Bj\u00f8rner and L.M. Druffel. Industrial experience in using formal methods. In Intl. Coonf. on Software Engineering. ACM and IEEE, 1990.","key":"16_CR10"},{"key":"16_CR11","series-title":"Lectures Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-17654-3","volume-title":"VDM \u2014 A Formal Method at Work","author":"D. Bj\u00f8rner","year":"1987","unstructured":"D. Bj\u00f8rner, M. Mac an Airchinnigh, E. Neuhold, and C.B. Jones, editors. VDM \u2014 A Formal Method at Work, Proc. of VDM-Europe Symposium '87. Lectures Notes in Computer Science. Springer-Verlag, Heidelberg, Germany, 1987."},{"key":"16_CR12","volume-title":"Software Engineering Economics","author":"B.W. Boehm","year":"1981","unstructured":"B.W. Boehm. Software Engineering Economics. Prentice-Hall, Englewood Cliffs, NJ., USA, 1981."},{"unstructured":"ESA Publications Division. ESA Software Engineering Standards. Technical report, European Space Agency (SA), ESA Technology Center (ESTEC), Nordwijk, The Ntherlands, 1987.","key":"16_CR13"},{"unstructured":"The RAISE Language Group. The RAISE Specification Language. ACM Press. Addison-Wesley Publishing Company, 1991.","key":"16_CR14"},{"unstructured":"N.H. Hansen and E.V. S\u00f8rensen. On risk prediction for repairable safety-critical systems, a theoretical foundation. Technical report Version 0, Dept. of Computer Science, Technical University of Denmark, November 30 1990.","key":"16_CR15"},{"unstructured":"J.F. He and E.-R. Olderog, editors. ProCoS: Provably Correct Systems, vol.2 \u2014 Language Interfaces for Concurrent Systems. tbd, November 1991.","key":"16_CR16"},{"unstructured":"K.M. Jensen. Requirements for a cruise control system. Note Version 1, Dept. of Computer Science, Technical University of Denmark, August 13 1990.","key":"16_CR17"},{"unstructured":"K.M. Jensen. Requirements for a lift control system. Report Version 2, Dept. of Computer Science, Technical University of Denmark, 11 December 1990.","key":"16_CR18"},{"unstructured":"K.M. Jensen. Specification of a lift control system. Report Version 1, Dept. of Computer Science, Technical University of Denmark, November 6 1990.","key":"16_CR19"},{"unstructured":"K.M. Jensen. Specification of a gas-burner. Report Version 2, Dept. of Computer Science, Technical University of Denmark, 25 January 1991.","key":"16_CR20"},{"unstructured":"K.M. Jensen and H. Rischel. Specification of a taximeter 1. Note Version 0.1, Dept. of Computer Science, Technical University of Denmark, March 16 1990.","key":"16_CR21"},{"unstructured":"C.B. Jones. Systematic Software Development \u2014 Using VDM, 2nd Edition. Prentice-Hall International, 1989.","key":"16_CR22"},{"unstructured":"C.B. Jones and R.C. Shaw. Case Studies in Systematic Sotware Development. Prentice-Hall International, 1990.","key":"16_CR23"},{"key":"16_CR24","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-52513-0_6","volume-title":"VDM & Z \u2014 Formal Methods in Software Development","author":"D.B. Lange","year":"1990","unstructured":"D.B. Lange. A formal approach to hypertext using post-prototype formal specification. In Bj\u00f8rner et al., editor, see [1], pages 99\u2013121. Springer-Verlag, Heidelberg, Germany, 1990."},{"unstructured":"D.B. Lange. A formal model of hypertext. Technical Report ID-TR: 1990-69, ISSN 0902-2821, Dept. of Comp. Sci., Techn. Univ. of Denmark, 1990.","key":"16_CR25"},{"unstructured":"S. Lynenskjold. The DiProGS Project. Software Engineering and Management. Technical Report Vol. 3, Dept. of Comp. Sci., Techn. Univ. of Denmark, 1987.","key":"16_CR26"},{"unstructured":"S. Lynenskjold, O. Frost Mikkelsen, and B. Bichel N\u00f8rb\u00e6k. The DiProGS Project. LaTeX Tools. Technical Report Vol. 5, Dept. of Comp. Sci., Techn. Univ. of Denmark, 1987.","key":"16_CR27"},{"unstructured":"S. Lynenskjold, O. Frost Mikkelsen, and B. Bichel N\u00f8rb\u00e6k. The DiProGS Project. Status and Perspectives. Technical Report Vol. 1, Dept. of Comp. Sci., Techn. Univ. of Denmark, 1987.","key":"16_CR28"},{"unstructured":"E. Manero. RAISE Life-Cycle vs. ESA Software Engineering Standards Life-Cycle. Technical Report LaCoS Project Report, CEC ESPRIT II, Inisel Espacio, Barcelona, Spain, 1991.","key":"16_CR29"},{"unstructured":"O. Frost Mikkelsen. The DiProGS project. Object-Oriented Databases. Technical Report Vol. 4, Dept. of Comp. Sci., Techn. Univ. of Denmark, 1987.","key":"16_CR30"},{"unstructured":"B. Bichel N\u00f8rb\u00e6k. The DiProGS Project. Programming and Graph Development. Technical Report Vol. 2, Dept. of Comp. Sci., Techn. Univ. of Denmark, 1987.","key":"16_CR31"},{"unstructured":"J. Nordahl. A real-time temporal logic specification of a safety critial system. Note Version 1, Dept. of Computer Science, Technical University of Denmark, October 25 1989.","key":"16_CR32"},{"unstructured":"J. Nordahl. Dependability in a process algebraic framework. Note Version 0.2, Dept. of Computer Science, Technical University of Denmark, June 25 1990.","key":"16_CR33"},{"unstructured":"J. Nordahl. Design for dependability. Note Version 1, Dept. of Computer Science, Technical University of Denmark, November 29 1990.","key":"16_CR34"},{"unstructured":"J. Nordahl. Requirements specification for a railway level crossing. Note Version 0, Dept. of Computer Science, Technical University of Denmark, February 27 1990.","key":"16_CR35"},{"key":"16_CR36","first-page":"527","volume-title":"Information Processing '86","author":"O. Oest","year":"1986","unstructured":"O. Oest. VDM from research to practice. In H.-J. Kugler, editor, Information Processing '86, pages 527\u2013533. International Federation for Information Processing, World Congress Proceedings, North-Holland Publ. Co., Amsterdam, The Netherlands, 1986."},{"unstructured":"R.S. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, 1989.","key":"16_CR37"},{"unstructured":"A. P. Ravn and V. Stavridou. Criteria for specification and programming language for engineering safety-critical software. Technical Report Version 0.1, Dept. of Computer Science, Technical University of Denmark, October 24 1989.","key":"16_CR38"},{"unstructured":"A.P. Ravn. Control program for an autopilot: Requirements procos case study 0. Note Version 1.1, Dept. of Computer Science, Technical University of Denmark, November 16 1989.","key":"16_CR39"},{"unstructured":"A.P. Ravn. Control program for an auto pilot: Specification and development. Unreleased notes, Dept. of Computer Science, Technical University of Denmark, 1990.","key":"16_CR40"},{"unstructured":"A.P. Ravn, editor. ProCoS: Provably Correct Systems, vol. 1 \u2014 Development of Embedded, Real-Time Computing Systems. tbd, November 1991.","key":"16_CR41"},{"unstructured":"A.P. Ravn and H. Rischel. Requirements capture for embedded real-time systems. Conference Paper Version 1, Dept. of Computer Science, Technical University of Denmark, February 1991.","key":"16_CR42"},{"unstructured":"A.P. Ravn and H. Rischel. Requirements capture for embedded real-time systems. In P. Borne, editor, IMACS-IFAC Symposium MCTS, Villeneuve d'Ascq, France, May 1991. IMACS Transaction Series, 1991.","key":"16_CR43"},{"unstructured":"A.P. Ravn, H. Rischel, and E. V. S\u00f8rensen. Control program for a gas burner: Requirements, procos case study 0. Note Version 1.1, Dept. of Computer Science, Technical University of Denmark, October 16 1989.","key":"16_CR44"},{"unstructured":"A.P. Ravn, H. Rischel, and V. Stavridou. Development of safety critical software, a procos position statement. Note Version 1.2, Dept. of Computer Science, Technical University of Denmark, April 2 1990.","key":"16_CR45"},{"doi-asserted-by":"crossref","unstructured":"A.P. Ravn, H. Rischel, and V. Stavridou. Provably correct safety critical software. Technical Report Version 1, Dept. of Computer Science, Technical University of Denmark, June 1990.","key":"16_CR46","DOI":"10.1016\/B978-0-08-040953-5.50008-8"},{"unstructured":"A.P. Ravn and V. Stavridou. Specification and development of safety-critical software: An assesment of mod draft standard 00-55. Note Version 1, Dept. of Computer Science, Technical University of Denmark, April 2 1990.","key":"16_CR47"},{"unstructured":"H. Rischel, editor. ProCoS: Provably Correct Systems, vol.4 Selected Papers. tbd, November 1991.","key":"16_CR48"},{"unstructured":"H. Rischel and A.P. Ravn. Requirements capture for computer based systems. Report Version 2, Dept. of Computer Science, Technical University of Denmark, October 10 1990.","key":"16_CR49"},{"unstructured":"S. Schneider. A timed csp specification of the gas burner control system and its verification,. Unreleased notes, Programming Research Group, Oxford University Computing Laboratory, England, April 1990.","key":"16_CR50"},{"unstructured":"I. Sommerville. Software Engineering. Addison-Wesley, 1982.","key":"16_CR51"},{"unstructured":"E.V. S\u00f8rensen. Brief tutorial on dependability concepts. Unpublished Note Pre-Draft, Dept. of Computer Science, Technical University of Denmark, April 1 1990.","key":"16_CR52"},{"unstructured":"E.V. S\u00f8rensen. On dependability prediction of safety critical systems. Unpublished Note Pre-Draft, Dept. of Computer Science, Technical University of Denmark, April 20 1990.","key":"16_CR53"},{"unstructured":"E.V. S\u00f8rensen, A.P. Ravn, and H. Rischel. Control program for a gas burner: Part 1: Informal requirements, procos case study 1. Technical Report Version 1, Dept. of Computer Science, Technical University of Denmark, March 22 1990.","key":"16_CR54"},{"unstructured":"B. von Karger and H.H. L\u00f8vengreen, editors. ProCoS: Provably Correct Systems, vol. 3 \u2014 Base Systems Development: Compilers and Kernels. tbd, November 1991.","key":"16_CR55"},{"unstructured":"C.C. Zhou, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Technical Report ProCoS ID\/DTH (+ OU\/PRG) ZCC\/3\/1, Dept. of Comp. Sci., Techn. Univ. of Denmark and Programming Research Group, Oxford Univ., Feb. 1991.","key":"16_CR56"}],"container-title":["Lecture Notes in Computer Science","Software Development Environments and CASE Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54194-2_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:52:53Z","timestamp":1605628373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54194-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541943","9783540474852"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/3-540-54194-2_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}