{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T06:59:23Z","timestamp":1694933963047},"reference-count":14,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4215,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1016\/s0167-6423(01)00024-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:03:45Z","timestamp":1027591425000},"page":"29-38","source":"Crossref","is-referenced-by-count":2,"title":["Pitfalls of formality in early system design"],"prefix":"10.1016","volume":"42","author":[{"given":"David","family":"Robertson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0167-6423(01)00024-7_BIB1","article-title":"Formal methods","volume":"41","author":"Berry","year":"2001","journal-title":"Sci. Comput. Programming"},{"issue":"3","key":"10.1016\/S0167-6423(01)00024-7_BIB2","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1006\/ijhc.1994.1062","article-title":"Applying Prolog programming techniques","volume":"41","author":"Bowles","year":"1994","journal-title":"Internat. J. Human\u2013Comput. Stud."},{"key":"10.1016\/S0167-6423(01)00024-7_BIB3","unstructured":"A. Castro, A techniques-based framework for domain-specific synthesis of simulation models, Ph.D. Thesis, University of Edinburgh, 1999."},{"key":"10.1016\/S0167-6423(01)00024-7_BIB4","doi-asserted-by":"crossref","unstructured":"G. Cleland, D. MacKenzie, Inhibiting factors, market structure and the industrial uptake of formal methods, Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, 1995, pp. 46\u201360.","DOI":"10.1109\/WIFT.1995.515478"},{"key":"10.1016\/S0167-6423(01)00024-7_BIB5","unstructured":"F. Correa da Silva, A. Bundy, On some equivalence relations between incidence calculus and Dempster\u2013Shafer theory of evidence, Proc. Sixth Conf. on Uncertainty in Artificial Intelligence, 1990."},{"issue":"2","key":"10.1016\/S0167-6423(01)00024-7_BIB6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1008669014807","article-title":"Lightweight formalisation in support of requirements engineering","volume":"5","author":"Hesketh","year":"1998","journal-title":"J. Automat. Software Eng."},{"key":"10.1016\/S0167-6423(01)00024-7_BIB7","unstructured":"M. Kirschenbaum, A. Lakhotia, L.S. Sterling, Skeletons and techniques for Prolog programming, Tr 89-170, Case Western Reserve University, 1989."},{"key":"10.1016\/S0167-6423(01)00024-7_BIB8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0743-1066(96)00137-9","article-title":"Reconciling the situation calculus and event calculus","volume":"31","author":"Kowalski","year":"1997","journal-title":"J. Logic Programming"},{"issue":"3","key":"10.1016\/S0167-6423(01)00024-7_BIB9","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","article-title":"The temporal logic of actions, ACM Trans.","volume":"16","author":"Lamport","year":"1994","journal-title":"Programming Languages Systems"},{"key":"10.1016\/S0167-6423(01)00024-7_BIB10","doi-asserted-by":"crossref","first-page":"1009","DOI":"10.1006\/ijhc.1994.1046","article-title":"A comprehensive comparison between generalised incidence calculus and the Dempster\u2013Shafer theory of evidence","volume":"40","author":"Liu","year":"1994","journal-title":"Internat. J. Human\u2013Comput. Stud."},{"key":"10.1016\/S0167-6423(01)00024-7_BIB11","unstructured":"D.L. Parnas, Using mathematical models in the inspection of critical software, in: M. Hinchey, J. Bowen (Eds.), Applications of Formal Methods, Prentice-Hall, Englewood Cliffs, NJ, 1995, ISBN 0-13-366949-1."},{"key":"10.1016\/S0167-6423(01)00024-7_BIB12","unstructured":"D. Robertson, J. Agusti, Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling, Addison-Wesley\/ACM Press, Reading, MA, 1999, ISBN 0201398192."},{"key":"10.1016\/S0167-6423(01)00024-7_BIB13","unstructured":"D. Robertson, A. Bundy, R. Muetzelfeldt, M. Haggith, M. Uschold, Eco-Logic: Logic-Based Approaches to Ecological Modelling, Logic Programming Series, MIT Press, Cambridge, MA, 1991, ISBN 0-262-18143-6."},{"issue":"2","key":"10.1016\/S0167-6423(01)00024-7_BIB14","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1017\/S0269888900007797","article-title":"Ontologies","volume":"11","author":"Uschold","year":"1996","journal-title":"Knowledge Eng. Rev."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642301000247?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642301000247?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T10:27:49Z","timestamp":1556879269000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642301000247"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["S0167642301000247"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(01)00024-7","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}