{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:52:08Z","timestamp":1725713528373},"publisher-location":"London","reference-count":27,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761723"},{"type":"electronic","value":"9781447136019"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-3601-9_19","type":"book-chapter","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T04:51:24Z","timestamp":1358830284000},"page":"315-336","source":"Crossref","is-referenced-by-count":3,"title":["Formally Comparing and Informing Notation Design"],"prefix":"10.1007","author":[{"given":"C. R.","family":"Roast","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Gornostaev pp189-196 Moscow:{ICSTI}","author":"PJ Barnard","year":"1992","unstructured":"P. J. Barnard and M. D. Harrison (1992) Towards a Framework for Modelling Human Computer Interactions\u201c, Proceedings International Conference on {HCI}, EWHCI\u201992 ed J. Gornostaev pp189\u2013196 Moscow:{ICSTI}"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"T. Berners-Lee and D.Connolly (1995) Hypertext Markup Language - 2.0 Internet-Draft of the International Engineering Task Force","DOI":"10.17487\/rfc1866"},{"key":"19_CR3","volume-title":"Formal Methods for Interactive Systems Academic Press","author":"AJ Dix","year":"1991","unstructured":"A. J. Dix (1991) Formal Methods for Interactive Systems Academic Press"},{"key":"19_CR4","unstructured":"D. J. Duke and P. J. Barnard and J. May and D. A. Duce(1995) Systematic Development of the Human Interface; Proceedings of APSEC\u201995: Second Asia-Pacific Software Engineering Conference, IEEE Computer Society Press"},{"issue":"1","key":"19_CR5","first-page":"13","volume":"10","author":"DJ Duke","year":"1995","unstructured":"D. J. Duke and M. D. Harrison (1995) Mapping user requirements to implementations; Software Engineering Jounal, 10 1 pp 13\u201320","journal-title":"Mapping user requirements to implementations; Software Engineering Jounal"},{"key":"19_CR6","volume-title":"University of Nottingham","author":"DJ Gilmore","year":"1997","unstructured":"D. J. Gilmore (1997) Cognitive Dimensions as a tool for comparative evaluation; Psychology Department, University of Nottingham"},{"key":"19_CR7","volume-title":"Sutcliffe and Macaulay; Cambridge University Press pp443-460\u201c","author":"TRG Green","year":"1989","unstructured":"T. R. G. Green (1989) Cognitive Dimensions of Notations; People and Computers V ed A. Sutcliffe and Macaulay; Cambridge University Press pp443\u2013460\u201c"},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/jvlc.1996.0009","volume":"7","author":"TRG Green","year":"1996","unstructured":"T.R.G. Green and M. Petre (1996) Usability Analysis of Visual Porgramming Environments: a\u2019cognitive dimensions\u2019 framework; The Journal of Visual Languages and Computing 7 (2) pp 131\u2013174","journal-title":"Usability Analysis of Visual Porgramming Environments: acognitive dimensions framework; The Journal of Visual Languages and Computing"},{"key":"19_CR9","unstructured":"M. D. Harrison and A. E. Blandford and P. J. Barnard (1993) University of York; The software engineering of user freedom:Amodeus 2 Document"},{"key":"19_CR10","unstructured":"Leslie Lamport (1986) LaTeX: A Document Preparation Language Addison\u2013Wesley: ISBN 0\u2013201\u201315790"},{"key":"19_CR11","volume-title":"Cognitive Dimensions: Usability Evaluation Materials","author":"D Lavery","year":"1996","unstructured":"D. Lavery and G. Cockton and M. Atkinson (1996) Cognitive Dimensions: Usability Evaluation Materials. Deparment of Computing Science, University of Glasgow"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"R. De Nicola and A. Fantechi and S. Gnesi and G. Ristori (1991) An Action based framework for verifying logical and behavioural properties of concurrent systems: Proceedings of 3rd Workshop on Computer Aided Verification","DOI":"10.1007\/3-540-55179-4_5"},{"key":"19_CR13","unstructured":"M. B. \u00d6zcan (1993) An Integrated Rapid Prototyping Environment Based on Executable Specifications: UMIST, U.K"},{"issue":"9","key":"19_CR14","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1002\/(SICI)1097-024X(199609)26:9<999::AID-SPE43>3.0.CO;2-W","volume":"26","author":"MB \u00d6zcan","year":"1996","unstructured":"M. B. \u00d6zcan and J Siddiqi (1996) Interchanging Specifications and Implementations in Evolutionary Prototyping: Software- Practice and Experience 26 (9) pp 999\u20131023","journal-title":"Interchanging Specifications and Implementations in Evolutionary Prototyping: Software- Practice and Experience"},{"key":"19_CR15","volume-title":"Springer-Verlag: Eurographics Seminar Series ISBN 3-540-59450-9","author":"F Patern\u00f2","year":"1995","unstructured":"F. Patern\u00f2 (1995) Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy\u201c, Springer\u2013Verlag: Eurographics Seminar Series ISBN 3\u2013540\u201359450\u20139"},{"issue":"2","key":"19_CR16","first-page":"95133","volume":"2","author":"SJ Payne","year":"1986","unstructured":"S. J. Payne and T. R. G. Green (1986) Task-action grammars: a model of mental representation of task languages: Human-Computer Interaction 2 (2) pp 95133","journal-title":"Task-action grammars: a model of mental representation of task languages: Human-Computer Interaction"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"M. S. Powell (1989) A Program Development Environment based on Persistence and Abstract Data Types: Workshop on Persistent Object Systems","DOI":"10.1007\/978-1-4471-3173-1_3"},{"key":"19_CR18","first-page":"53","volume-title":"Formal grammar as a tool for analysing ease of use: some fundamental concepts Human Factors in Computer Systems, ed J. C. Thomas and M","author":"P Reisner","year":"1983","unstructured":"P. Reisner (1983) Formal grammar as a tool for analysing ease of use: some fundamental concepts Human Factors in Computer Systems, ed J. C. Thomas and M. L. Schneider pp 53\u201378"},{"key":"19_CR19","unstructured":"C. R. Roast (1994) Modelling Interaction Using Template Abstractions, People and Computers IX; ed G. Cockton, S. W. Draper and G. R. S. Weir pp 273\u2013284"},{"key":"19_CR20","unstructured":"C. R. Roast and J. I. Siddiqi (1996), The Formal Examination of Cognitive Dimensions; HCI96 Adjunct Proceedings pp150\u2013156"},{"key":"19_CR21","unstructured":"C. R. Roast and J. I. Siddiqi (1996) Formally Assessing Software Modifiability, BCS\u2013FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10\u201312 September 1996; Springer\u2013Verlag Electronic Workshops in Computing; ed, C. R. Roast and J. I. Siddiqi ISBN 3\u2013540\u201376105\u20135"},{"issue":"2","key":"19_CR22","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1049\/ip-sen:19970973","volume":"144","author":"CR Roast","year":"1997","unstructured":"C. R. Roast and J. I. Siddiqi (1997) Usability Requirements as Specification Constraints\u2013an example of WYSIWYG; IEE Proceedings Software Engineering 144 (2) pp 101\u2013110","journal-title":"Usability Requirements as Specification Constraints - an example of WYSIWYG; IEE Proceedings Software Engineering"},{"key":"19_CR23","first-page":"96","volume-title":"Relating Knock-on Viscosity to Software Modifiability; Proceedings of OZCHI","author":"CR Roast","year":"1996","unstructured":"C. R. Roast and J. I. Siddiqi (1996) Relating Knock-on Viscosity to Software Modifiability; Proceedings of OZCHI 96, Hamilton, New Zealand: IEEE Computer Society Press"},{"key":"19_CR24","first-page":"77","volume":"22","author":"JIA Siddiqi","year":"1985","unstructured":"J. I. A. Siddiqi and B. Ratcliff (1985) An Empirical Investigation into Problem Decomposition Strategies used in Program Design; International Journal of Man Machine Studies 22 pp 77\u201390","journal-title":"An Empirical Investigation into Problem Decomposition Strategies used in Program Design; International Journal of Man Machine Studies"},{"key":"19_CR25","unstructured":"S. Yang and M. Burnett and E. DeKoven and M. Zloof (1995) Representation design benchmarks: a design\u2013time aid for VPL navigable static representations Oregon State University; No TR 95\u201360\u20133"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"C. R. Roast and J. I. Siddiqi (eds) BCS\u2013FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10\u201312 September 1996 Springer\u2013Verlag, Electronic Workshops in Computing ISBN 3\u2013540\u201376105\u20135","DOI":"10.14236\/ewic\/FAC1996.0"},{"issue":"119","key":"19_CR27","first-page":"0","volume":"85924","author":"A Blandford","year":"1996","unstructured":"A. Blandford and H. Thimbleby (1996) HCI96 Industry Day & Adjunct Proceedings ISBN 1 85924 119 0","journal-title":"HCI96 Industry Day & Adjunct Proceedings ISBN 1"}],"container-title":["People and Computers XII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3601-9_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,6]],"date-time":"2022-02-06T07:40:34Z","timestamp":1644133234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3601-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540761723","9781447136019"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3601-9_19","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}