{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:36Z","timestamp":1725466176845},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643678"},{"type":"electronic","value":"9783540697602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053503","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:49:08Z","timestamp":1149644948000},"page":"142-157","source":"Crossref","is-referenced-by-count":3,"title":["Visualisation of executable formal specifications for user validation"],"prefix":"10.1007","author":[{"given":"M. B.","family":"\u00f6zcan","sequence":"first","affiliation":[]},{"given":"P. W.","family":"Parry","sequence":"additional","affiliation":[]},{"given":"I. C.","family":"Morrey","sequence":"additional","affiliation":[]},{"given":"J. I.","family":"Siddiqi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"N. E. Fuchs, 'specifications are (preferably) executable', Software Engineering Journal, 323\u2013334, September, (1992).","DOI":"10.1049\/sej.1992.0033"},{"issue":"8","key":"12_CR2","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1002\/spe.4380180804","volume":"18","author":"J. Kramer","year":"1988","unstructured":"Jeff Kramer, Keng Ng, \u2018Animation of Requirements Specifications', Software-Practice and Experience, 18, (8), 749\u2013774, (1988).","journal-title":"Software-Practice and Experience"},{"key":"12_CR3","first-page":"192","volume-title":"A. Sareen Automatic Data Visualisation For Novice Pascal Programmers","author":"B.A. Myers","year":"1988","unstructured":"B.A. Myers, R. Chandhok, \u2018A. Sareen Automatic Data Visualisation For Novice Pascal Programmers', IEEE Workshop on Visual Languages, p192\u2013198, IEEE Computer Society Press, October 10\u201312, Pittsburgh, PA, USA 1988."},{"key":"12_CR4","unstructured":"P. W. Parry, M. B. Ozcan and J. Siddiqi, \u201cThe Application of Visualisation to Requirements Engineering\u201d, Proc.8th International Conference on Software Engineering and Its Applications, Paris, France, 699\u2013710, (1995)."},{"issue":"2","key":"12_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.268952","volume":"11","author":"C. Potts","year":"1994","unstructured":"C.Potts, et. al., \u2018Inquiry-based Requirements Analyses', IEEE Software, 11, (2), 21\u201332, (1994).","journal-title":"IEEE Software"},{"key":"12_CR6","volume-title":"Technical Report 90-276","author":"A. J. Schouwen van","year":"1991","unstructured":"A. J. van Schouwen, \u2018The-7 Requirements Model: Re-examination for Real Time Systems and an Application to Monitoring Systems', Technical Report 90-276, Queens University, Kingston, Ontario K7L 3N6, (1991)."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1018977602872","volume":"3","author":"J. Siddiqi","year":"1997","unstructured":"J. Siddiqi, I. Morrey, C. Roast and M. B. Ozcan, \u2018Towards Quality Requirements via Animated Formal Specifications', Annals of Software Engineering, 3, 131\u2013155, (1997).","journal-title":"Annals of Software Engineering"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0020-0190(90)90080-H","volume":"No 36","author":"A. Tsalgatidou","year":"1990","unstructured":"A. Tsalgatidou, \u2018Modelling and Animating Information Systems Dynamics', Information Processing Letters, No 36, 123\u2013127, (1990).","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Services and Visualization Towards User-Friendly Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:34:52Z","timestamp":1555641292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643678","9783540697602"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0053503","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}