{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:00Z","timestamp":1725558960007},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255598"},{"type":"electronic","value":"9783540320074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11415787_27","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T22:07:36Z","timestamp":1278886056000},"page":"472-492","source":"Crossref","is-referenced-by-count":5,"title":["Some Guidelines for Formal Development of Web-Based Applications in B-Method"],"prefix":"10.1007","author":[{"given":"Abdolbaghi","family":"Rezazadeh","sequence":"first","affiliation":[]},{"given":"Michael","family":"Butler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-45144-7_2","volume-title":"Web Engineering","year":"2001","unstructured":"Murugesan, S., Desphande, Y. (eds.): Web Engineering. LNCS, vol.\u00a02016, p. 3. Springer, Heidelberg (2001)"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Security Protocols","author":"S. Murugesan","year":"1997","unstructured":"Murugesan, S., et al.: Web Engineering: A New Discipline for Development of Web-based Systems. In: Lomas, M. (ed.) Security Protocols 1996. LNCS, vol.\u00a01189. Springer, Heidelberg (1997)"},{"key":"27_CR3","unstructured":"Deshpande, Y., et al.: Web Engineering: Beyond CS, IS and SE. In: Proceedings of the First ICSE Workshop on Web Engineering, Los Angeles, pp. 171\u2013176 (1999)"},{"key":"27_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B book - Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Sekerinski, E., Sere, K. (eds.): Program Development by Refinement Case Studies Using the B Method. Springer, Heidelberg (1998)","DOI":"10.1007\/978-1-4471-0585-5"},{"key":"27_CR6","unstructured":"Luigia, P., et al.: A Methodology for Integrating of Formal Methods in a Healthcare Case Study. Technical Report 436 TUCS (2001)"},{"key":"27_CR7","unstructured":"Butler, M., Wald\u00e9n, M.: Distributed system development in B. In: Proceedings of the 1st Conference on the B Method, Nantes, France, pp. 155\u2013168 (1996)"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R., Cansell, D.: Click\u2019n\u2019Prove- Interactive Proofs Within Set Theory, Version 23 (2003), http:\/\/www.loria.fr\/~cansell\/cnp.html","DOI":"10.1007\/10930755_1"},{"key":"27_CR9","unstructured":"(Atelier B Web Page), http:\/\/www.atelierb.societe.com\/"},{"key":"27_CR10","unstructured":"(B4free Web Page), http:\/\/www.b4free.com\/"},{"key":"27_CR11","unstructured":"Abrial, J.-R.: Extending B without changing it (for developing Distributed Systems). In: Abrias, H. (ed.) Proceedings of the 1st Conference on the B Method, pp. 169\u2013191 (1996)"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"J.-R. Abrial","year":"1998","unstructured":"Abrial, J.-R., Mussat, L.: Introducing Dynamic Constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, pp. 83\u2013128. Springer, Heidelberg (1998)"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008688421367","volume":"13","author":"M. Wald\u00e9n","year":"1998","unstructured":"Wald\u00e9n, M., Sere, K.: Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design\u00a013, 5\u201335 (1998)","journal-title":"Formal Methods in Systems Design"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BF01214918","volume":"8","author":"R. Back","year":"1996","unstructured":"Back, R., Sere, K.: Superposition Refinement of Reactive Systems. Formal Aspects of Computing\u00a08, 324\u2013346 (1996)","journal-title":"Formal Aspects of Computing"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/3-540-44880-2_28","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"C. Ferreira","year":"2003","unstructured":"Ferreira, C., Butler, M.: Using B Refinement to Analyse Compensating Business Processes. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 477\u2013496. Springer, Heidelberg (2003)"},{"key":"27_CR16","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\u00a027, 139\u2013173 (1996)","journal-title":"Science of Computer Programming"},{"key":"27_CR17","unstructured":"Rezazadeh, A., Butler, M.: Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. In: Refinement of Critical Systems (RCS 2003), Turku (2003)"}],"container-title":["Lecture Notes in Computer Science","ZB 2005: Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11415787_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:51:51Z","timestamp":1605642711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415787_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255598","9783540320074"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11415787_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}