{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:18Z","timestamp":1725558978878},"publisher-location":"Berlin, Heidelberg","reference-count":5,"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_11","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T22:07:36Z","timestamp":1278886056000},"page":"172-186","source":"Crossref","is-referenced-by-count":0,"title":["Requirements as Conjectures: Intuitive DVD Menu Navigation"],"prefix":"10.1007","author":[{"given":"Jemima","family":"Rossmorris","sequence":"first","affiliation":[]},{"given":"Susan","family":"Stepney","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0953-5438(92)90021-7","volume":"4","author":"G.D. Abowd","year":"1992","unstructured":"Abowd, G.D., Dix, A.J.: Abowd and Alan\u00a0J. Dix. Giving undo attention. Interacting with Computers\u00a04(3), 317\u2013342 (1992)","journal-title":"Interacting with Computers"},{"unstructured":"ISO\/IEC 13568. Information Technology \u2013 Z Formal Specification Notation \u2013 Syntax, Type System and Semantics: International Standard (2002), \n                  \n                    http:\/\/www.iso.org\/iso\/en\/ittf\/PubliclyAvailableStandards\/c021573_ISO_IEC_13568_2002E.zip","key":"11_CR2"},{"unstructured":"Norman, D.A.: DVD menu design: The failures of web design recreated yet again (December 2001), \n                  \n                    http:\/\/www.jnd.org\/dn.mss\/DVDmenus.html","key":"11_CR3"},{"unstructured":"Valentine, S.H., Stepney, S., Toyn, I.: A Z patterns catalogue II: definitions and laws, v0.1. Technical Report YCS-2004-383, Department of Computer Science, University of York (October 2004)","key":"11_CR4"},{"unstructured":"WC3. HTML Techniques for Web Content Accessibility: Guidelines 1.0, WC3 Note November 6 (2000), \n                  \n                    http:\/\/www.w3.org\/TR\/2000\/NOTE-WCAG10-HTML-TECHS-20001106\/","key":"11_CR5"}],"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_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:42Z","timestamp":1619507022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415787_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255598","9783540320074"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11415787_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}