{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:42Z","timestamp":1761611202602},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679448"},{"type":"electronic","value":"9783540445258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44525-0_13","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T10:00:58Z","timestamp":1178013658000},"page":"209-229","source":"Crossref","is-referenced-by-count":1,"title":["Deriving Software Specifications from Event Based Models"],"prefix":"10.1007","author":[{"given":"Nestor","family":"Lopez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Simonot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Veronique Vigui\u00e9","family":"Donzeau-Gouge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"M. Abadi and L. Lamport, Conjoining Specifications, ACM Transactions on Programming Languages and Systems 17,3, 507\u2013534, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Abrial J.R., The B Book. Assigning programs to Meanings, Cambridge University Press, 1996","DOI":"10.1017\/CBO9780511624162"},{"key":"13_CR3","unstructured":"Abrial J.R., Extending B without changing it, for Developing Distributed Systems, in First B conference, H. Habrias editor, 169\u2013190, Nantes, 1996."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Abrial J.R., Mussat L., Specification and Design of a Transmission Protocol by successive Refinements using B, in Mathematical Methods in Program Development, Edited by M. Broy and B. Schieder, Springer-Verlag, 1997.","DOI":"10.1007\/978-3-642-60858-2_17"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R.J. Back","year":"1988","unstructured":"Back R.J., A calculus of refinements for program derivations, Acta Informatica 25, 593\u2013624, 1988.","journal-title":"Acta Informatica"},{"key":"13_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-52559-9_60","volume-title":"Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness","author":"R.J. Back","year":"1990","unstructured":"Back R.J., J. von Wright, Refinement Calculus, Part 1: Sequential Nondeterministic Programs, in J.W. deBakker, W.P. deRoever, and G. Rozenberg editors, Lecture Notes in Computer Science 430, 42\u201366, Springer, 1990."},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-52559-9_61","volume-title":"Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness","author":"R.J. Back","year":"1990","unstructured":"Back R.J., Refinement Calculus, Part 2: Parallel and Reactive Programs, in J.W. deBakker, W.P. deRoever, and G. Rozenberg editors, Lecture Notes in Computer Science 430, 67\u201393, Springer, 1990."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Back R.J.R., Kurki-Suonio R., Decentralization of Process Nets with Centralized Control, in 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 131\u2013142, ACM, 1983.","DOI":"10.1145\/800221.806716"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Back R.J.R., Sere K., Stepwise Refinement of Actions Systems, in Mathematics of Program Construction, Lectures Notes in Computer Science 375, 115\u2013138, Springer, 1989.","DOI":"10.1007\/3-540-51305-1_7"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-48119-2_22","volume-title":"FM\u201999 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, France, September 1999.","author":"P. Behm","year":"1999","unstructured":"Behm P., Benoit P., Faivre A., Meynadier J-M., Meteor: A Successful Application of B in a Large Project, in Jeannette M. Wing, Jim Woodcock, Jim Davies editors, Lecture Notes in Computer Science 1708, 369\u2013387, Springer, 1999."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0167-6423(96)81173-7","volume":"27","author":"M.J. Butler","year":"1996","unstructured":"Butler M.J., Stepwise refinement of communicating systems, Science of Computer Programming 27, 139\u2013173, 1996.","journal-title":"Science of Computer Programming"},{"key":"13_CR12","unstructured":"Butler M., Walden M., Distributed System Development in B, in First B conference, H. Habrias editor, 155\u2013168, Nantes, 1996."},{"key":"13_CR13","unstructured":"Dijkstra E.W., A Discipline of programming, Prentice-Hall International, 1976."},{"issue":"10","key":"13_CR14","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare C.A.R., An Axiomatic Bases For computer Programming, Comm. ACM 12,10, 576\u2013580, 1969.","journal-title":"Comm. ACM"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R., Communicating Sequential Processes, Prentice-Hall. 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"7","key":"13_CR16","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1109\/32.56101","volume":"16","author":"S.S. Lam","year":"1990","unstructured":"Lam S.S., Shankar U., A Relational Notation for State Transition Systems, in IEEE Transactions on Software Engineering, Vol 16, No 7, 755\u2013775, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR17","unstructured":"Lopez N., Construction de la specification formelle d\u2019un systeme complexe, in First B conference, H. Habrias editor, 63\u2013119, Nantes, 1996."},{"key":"13_CR18","unstructured":"Lopez N., Construction de la specification formelle d\u2019un systeme complexe, Memoire d\u2019ingenieur CNAM, 1996."},{"key":"13_CR19","unstructured":"Lopez N., An\u2019 event based B\u2019 industrial experience, in the proceedings of the B user Group Meeting, edited by Ken Robinson, Applying B in an industrial context, World Congress on Formal Methods 1999."},{"issue":"3","key":"13_CR20","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C. Morgan","year":"1988","unstructured":"Morgan C., The Specification Statement, in ACM Transactions on Programming Languages and Systems, Vol 10, No 3, 403\u2013419, 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR21","unstructured":"Morgan C., Programming from Specifications, Prentice-Hall International. 1990."},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J.M. Morris","year":"1987","unstructured":"Morris J.M., A Theoretical Basis for Stepwise refinement and the Programming Calculus, Science of Computer Programming 9, 287\u2013306, North-Holland, 1987.","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","ZB 2000: Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44525-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:24:34Z","timestamp":1683825874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44525-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679448","9783540445258"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44525-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}