{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T05:46:06Z","timestamp":1740894366928,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_18","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"306-318","source":"Crossref","is-referenced-by-count":7,"title":["Java Card Code Generation from B Specifications"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Tatibou\u00ebt","sequence":"first","affiliation":[]},{"given":"Antoine","family":"Requet","sequence":"additional","affiliation":[]},{"given":"Jean-Christophe","family":"Voisinet","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"Hammad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","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) ISBN 0521-496195"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Casset, L., Burdy, L., Requet, A.: Formal Development of an Embedded Verifier for Java Card. In: Byte Code - DSN 2002, International Conference on Dependable Systems & Networks, Washington, D.C., USA, June 2002, pp. 51\u201356 (2002)","DOI":"10.1007\/3-540-45614-7_17"},{"key":"18_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-1494-9","volume-title":"The B Language and Method: A Guide to Practical Formal Development","author":"K. Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method: A Guide to Practical Formal Development. Springer, Heidelberg (1996) ISBN 3-540-19977-2"},{"key":"18_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3073-4","volume-title":"Formal Object-Oriented Development","author":"K. Lano","year":"1995","unstructured":"Lano, K.: Formal Object-Oriented Development. Springer, Heidelberg (1995) ISBN 3-540-19978-0"},{"key":"18_CR5","unstructured":"Potet, M.-L.: Etude du passage de param\u00e8tres dans la m\u00e9thode B - Optimisation M\u00e9moire - Technical report of BOM Project (2001), URL: http:\/\/lifc.univfcomte.fr\/~tatibouet\/WEBBOM"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Requet, A., Bossu, G.: Embedding Formally Proved Code in a Smart Card: Converting B to C. In: 3rd International Conference on Formal Engineering Methods (ICFEM 2000), York, England, pp. 15\u201324 (2000)","DOI":"10.1109\/ICFEM.2000.873801"},{"key":"18_CR7","unstructured":"Schneider, S.: The B-Method an Introduction. Palgrave (2001) ISBN 0-333- 79284-X"},{"key":"18_CR8","unstructured":"Sun Microsystems - Java Card TM 2.2 Specification and Development Kit - URL: http:\/\/java.sun.com\/products\/javacard\/"},{"key":"18_CR9","unstructured":"Tatibouet, B., Voisinet, J.C.: jBTools and B2UML: a platform and a tool to provide a UML Class Diagram since a B specification. In: ICSSEA 2001, 14th International Conference on Software and Systems Engineering and Their Applications, France, Paris, December 4-6. Formal Methods Session, vol.\u00a02 (2001)"},{"key":"18_CR10","unstructured":"Tatibouet, B., Voisinet, J.C.: - G\u00e9n\u00e9ration de code \u00e0 partir du langage formel B vers des langages \u00e0 objets: Etude de la G\u00e9n\u00e9ration de code Java\/Java Card - Technical report of BOM Project (2002), URL: http:\/\/lifc.univ-fcomte.fr\/~tatibouet\/WEBBOM"},{"key":"18_CR11","unstructured":"Voisinet, J.C., Tatibouet, B., Hammad, A.: jBTools: An experimental platform for the formal B method. In: Principles and Practice of Programming in Java (PPPJ 2002), Trinity College, Dublin, Ireland, June 13-14, pp. 137\u2013140 (2002)"},{"key":"18_CR12","unstructured":"Wordsworth, J.B.: Software Engineering with B. Addison-Wesley, Reading ISBN 0-201- 40356-0"},{"key":"18_CR13","volume-title":"Java Card Technology for Smart Cards: Architecture and Programmer\u2019s Guide","author":"Z. Chen","year":"2000","unstructured":"Chen, Z.: Java Card Technology for Smart Cards: Architecture and Programmer\u2019s Guide. Addison-Wesley, Reading (2000) ISBN 0-201-70329-7"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T14:26:30Z","timestamp":1740839190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}