{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T21:59:30Z","timestamp":1649195970921},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Interacting with Computers"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1016\/s0953-5438(99)00012-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:27:12Z","timestamp":1027607232000},"page":"209-223","source":"Crossref","is-referenced-by-count":1,"title":["Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues"],"prefix":"10.1093","volume":"12","author":[{"given":"H.","family":"Fritzsche","sequence":"first","affiliation":[]},{"given":"T.","family":"Michel","sequence":"additional","affiliation":[]}],"member":"286","reference":[{"key":"10.1016\/S0953-5438(99)00012-0_BIB1","first-page":"199","article-title":"EPK-fix: methods and tools for engineering electronic product catalogues","volume":"1309","author":"Knapp","year":"1997"},{"key":"10.1016\/S0953-5438(99)00012-0_BIB2","unstructured":"A. Knapp, N. Koch, L. Mandel, The language EPKML, Technical report 9605, LMU M\u00fcnchen, November 1996."},{"key":"10.1016\/S0953-5438(99)00012-0_BIB3","unstructured":"H. Fritzsche, T. Markwardt, D. Timm, Test-Assistenz f\u00fcr formal spezifizierte elektronische Produktkataloge, in: J. Schneeberger (Ed.), Software-Engineering f\u00fcr Multimedia-Systeme, Workshop anl\u00e4sslich der GI\u201997, Aachen, September 1997."},{"key":"10.1016\/S0953-5438(99)00012-0_BIB4","series-title":"The SGML Handbook","author":"Goldfarb","year":"1990"},{"key":"10.1016\/S0953-5438(99)00012-0_BIB5","unstructured":"D. Ragett, HTML 3.2 Reference Specification. URL: http:\/\/www.w3.org\/TR\/REC-html32.html."},{"key":"10.1016\/S0953-5438(99)00012-0_BIB6","series-title":"Software Testing Techniques","author":"Beizer","year":"1990"},{"key":"10.1016\/S0953-5438(99)00012-0_BIB7","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TSE.1986.6313008","article-title":"Axiomating software test data adequacy","volume":"12","author":"Weyuker","year":"1986","journal-title":"IEEE Trans. Software Engng"},{"issue":"4","key":"10.1016\/S0953-5438(99)00012-0_BIB8","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","article-title":"STATEMATE: a working environment for the development of complex reactive systems","volume":"16","author":"Harel","year":"1990","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0953-5438(99)00012-0_BIB9","series-title":"Proc. 18th Int. Conf. Soft. Engng","first-page":"246","article-title":"Executable object modeling with statecharts","author":"Harel","year":"1996"},{"key":"10.1016\/S0953-5438(99)00012-0_BIB10","series-title":"Critical Issues in User Interface Systems","first-page":"109","article-title":"Key activities for a development methodology of interactive applications","author":"Bodart","year":"1995"},{"key":"10.1016\/S0953-5438(99)00012-0_BIB11","series-title":"Programming in PROLOG","author":"Clocksin","year":"1981"},{"key":"10.1016\/S0953-5438(99)00012-0_BIB12","unstructured":"T. Markwardt, Dynamische Analysen und interaktive Bewertungen in einem Assistenzsystem zur Testung elektronischer Produktkataloge, Diplomarbeit, TU Dresden, Fak. Informatik, 1997."},{"issue":"1","key":"10.1016\/S0953-5438(99)00012-0_BIB13","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/32.210305","article-title":"State-based model checking of event-driven system requirements","volume":"19","author":"Atlee","year":"1993","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0953-5438(99)00012-0_BIB14","first-page":"131","article-title":"Statecharts\u2014using graphical specification languages and symbolic model checking in the verification of a production cell","volume":"891","author":"Damm","year":"1995"}],"container-title":["Interacting with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/12\/3\/209\/2326797\/iwc12-0209.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T07:51:53Z","timestamp":1503474713000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/iwc\/article-lookup\/doi\/10.1016\/S0953-5438(99)00012-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["S0953543899000120"],"URL":"https:\/\/doi.org\/10.1016\/s0953-5438(99)00012-0","relation":{},"ISSN":["0953-5438"],"issn-type":[{"value":"0953-5438","type":"print"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}