{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:47Z","timestamp":1725490247081},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665878"},{"type":"electronic","value":"9783540481195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_46","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T01:23:00Z","timestamp":1188350580000},"page":"834-853","source":"Crossref","is-referenced-by-count":3,"title":["Developing BON as an Industrial-Strength Formal Method"],"prefix":"10.1007","author":[{"given":"Richard F.","family":"Paige","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan S.","family":"Ostroff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book, Cambridge, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"L. Baresi and M. Pezze. Toward Formalizing Structured Analysis, ACM Trans. Soft. Eng. Method. 7(1), January 1998.","DOI":"10.1145\/268411.268429"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"J. Bicarregui, B. Matthews, and B. Ritchie. Investigating the integration of two formal methods. In Proc. FMICS\u2019 98, CWI, 1998.","DOI":"10.1007\/s001650050031"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"A. Evans, R. France, K. Lano, and B. Rumpe. The UML as a Formal Modeling Notation. Computer Standards and Interfaces 19(7), 1998.","DOI":"10.1016\/S0920-5489(98)00020-8"},{"key":"46_CR5","unstructured":"M. Fowler. UML Distilled, Addison-Wesley, 1997."},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"D. Gries and F. Schneider. A Logical Approach to Discrete Math, Springer, 1993.","DOI":"10.1007\/978-1-4757-3837-7"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"A. Hall. Seven Myths of Formal Methods. IEEE Software, September 1990.","DOI":"10.1109\/52.57887"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"L. Hatton. Does OO Sync with How We Think? IEEE Software, May\/June 1998.","DOI":"10.1109\/52.676735"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4419-8596-5"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"B. Jacobs et al. Reasoning about Java Classes (Preliminary Report). In Proc. OOPSLA\u201998, ACM Press, Oct. 1998.","DOI":"10.1145\/286936.286973"},{"key":"46_CR11","unstructured":"C.B. Jones. Systematic Software Development using VDM, Prentice-Hall, 1990."},{"key":"46_CR12","volume-title":"Modular Design for Reactive Systems","author":"L. Lo","year":"1998","unstructured":"L. Lo. Modular Design for Reactive Systems,MSc Thesis, Department of Computer Science, York University, 1998."},{"key":"46_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proc. B\u201998","author":"B. Matthews","year":"1998","unstructured":"B. Matthews, B. Ritchie, and J. Bicarregui. Synthesizing structure from flat specifications. In Proc. B\u201998, LNCS 1393, Springer-Verlag, 1998."},{"key":"46_CR14","unstructured":"B. Meyer. Object-Oriented Software Construction, Prentice-Hal, 1997."},{"key":"46_CR15","unstructured":"J.S. Ostroff. Temporal Logic for Real-Time Systems, Wiley, 1989"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff and R.F. Paige. Formal Methods in the Classroom: The Logic of Real-Time Software Design. In Proc. Real-Time Software Engineering Education Workshop\u201998, IEEE Press, 1999.","DOI":"10.1109\/RTSE.1998.766514"},{"key":"46_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Proc. FME\u201997","author":"R.F. Paige","year":"1997","unstructured":"R.F. Paige. A Meta-Method for Formal Method Integration. In Proc. FME\u201997, LNCS 1313, Springer, 1997."},{"issue":"3","key":"46_CR18","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s001650050013","volume":"10","author":"R.F. Paige","year":"1999","unstructured":"R.F. Paige. Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects of Computing 10(3):233\u2013242, June 1999.","journal-title":"Formal Aspects of Computing"},{"key":"46_CR19","unstructured":"R.F. Paige and J.S. Ostroff. A Comparison of BON and UML. Technical Report CS-1999-03, York University, May 1999."},{"key":"46_CR20","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual, Prentice-Hall, 1989."},{"key":"46_CR21","unstructured":"K. Walden and J.-M. Nerson. Seamless Object-Oriented Software Development, Prentice-Hall, 1995."},{"key":"46_CR22","series-title":"Lect Notes Comput Sci","volume-title":"Proc. FME\u2019 93","author":"D. Weber-Wulff","year":"1993","unstructured":"D. Weber-Wulff. Selling Formal Methods to Industry. In Proc. FME\u2019 93, LNCS 670, Springer-Verlag, 1993."},{"key":"46_CR23","unstructured":"J. Wordsworth. Software Development with Z, Addison-Wesley, 1994."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:27:25Z","timestamp":1556818045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_46","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}