{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T06:53:45Z","timestamp":1672469625132},"reference-count":46,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"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":5951,"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":[[1997,4]]},"DOI":"10.1016\/s0167-6423(96)00021-4","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T23:52:44Z","timestamp":1051141964000},"page":"193-223","source":"Crossref","is-referenced-by-count":5,"title":["Spill \u2014 A logic language for writing testable requirements specifications"],"prefix":"10.1016","volume":"28","author":[{"given":"Feliks","family":"Klu\u017aniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miros\u0142awa","family":"Mi\u0142kowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(96)00021-4_BIB1","series-title":"Joint Conference on Declarative Programming, Proc. GULP-PRODE'95","first-page":"19","article-title":"Arrays, bounded quantifications and iteration in logic and constraint logic programming","author":"Apt","year":"1995"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB2","series-title":"Logic Programming Languages: Constraints, Functions and Objects","year":"1993"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB3","series-title":"Logic Programming and Automated Reasoning \u2014 Proc. 4th Internat. Conf.","first-page":"28","article-title":"Prolog with arrays and bounded quantifications","volume":"Vol. 698","author":"Barklund","year":"1993"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB4","article-title":"Extending G\u00f6del for expressing restricted quantifications and arrays","author":"Barklund","year":"1995"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB5","series-title":"Proc. Internat. Conf. on Fifth Generation Computer Systems","first-page":"817","article-title":"Providing iteration and concurrency in logic programs through bounded quantifications","author":"Barklund","year":"1992"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB6","series-title":"Information Systems Methodology, Proc. 2nd Conf. European Cooperation in Informatics","first-page":"211","article-title":"Using assertions about traces to write abstract specifications for software modules","author":"Bartussek","year":"1978"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB7","author":"Carlsson","year":"1993"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB8","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB9","series-title":"Logic Programming","first-page":"141","article-title":"Runnable specification as a design tool","author":"Davis","year":"1982"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB10","series-title":"Logic Programming: Functions, Relations and Equations","year":"1986"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB11","series-title":"Proc. 4th Z Users Meeting","first-page":"71","article-title":"Computer aided transformation of Z into Prolog","author":"Dick","year":"1989"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB12","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB13","series-title":"VDM'91. Formal Software Development Methods","first-page":"189","article-title":"EZ: A system for automatic prototyping of Z specifications","volume":"Vol. 551","author":"Doma","year":"1991"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB14","series-title":"The Science of Computer Programming","author":"Gries","year":"1981"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB15","series-title":"Proc. 7th ACM Symp. Principles of Programming Languages","first-page":"251","article-title":"Formal specification as a design tool","author":"Guttag","year":"1980"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB16","author":"Harper","year":"1989"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB17","series-title":"The G\u00f6del Programming Language","author":"Hill","year":"1994"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB18","article-title":"Some experiences with specification of nondeterministic modules","author":"Iglewski","year":"1994"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB19","series-title":"Proc. 4th Z Users Meeting","first-page":"86","article-title":"From Z specifications to functional implementations","author":"Johnson","year":"1989"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB20","series-title":"Systematic Software Development using VDM","author":"Jones","year":"1990"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB21","series-title":"Logic Programming, Proc. Fourth Internat. Conf.","first-page":"788","article-title":"Type synthesis for Ground Prolog","author":"Klu\u017ainiak","year":"1987"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB22","series-title":"Logic Programming, Proc. Fifth Internat. Conf. and Symp.","first-page":"1490","article-title":"Compile time garbage collection for Ground Prolog","author":"Klu\u017aniak","year":"1988"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB23","article-title":"PageBreak: An exercise in specification and derivation","author":"Klu\u017aniak","year":"1991"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB24","article-title":"SPILL: A specification language based on logic programming","author":"Klu\u017aniak","year":"1991"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB25","article-title":"Towards practical executable specifications in logic","author":"Klu\u017aniak","year":"1991"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB26","article-title":"SPILL-2: the language","author":"Klu\u017aniak","year":"1993"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB27","series-title":"Programming Language Implementation and Logic Programming, Proc. 6th Internat. Symp., PLILP'94","first-page":"449","article-title":"Readable, runnable requirements specifications: Bridging the credibility gap","volume":"Vol. 844","author":"Klu\u017aniak","year":"1994"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB28","article-title":"Towards readable, runnable requirements specifications: Bridging the credibility gap","author":"Klu\u017aniak","year":"1994"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB29","series-title":"Prolog for Programmers","author":"Klu\u017aniak","year":"1985"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB30","article-title":"On the derivation of an effective animation: Telephone network case study","author":"Knott","year":"1988"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB31","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","article-title":"Literate programming","volume":"27","author":"Knuth","year":"1984","journal-title":"Comput. J."},{"key":"10.1016\/S0167-6423(96)00021-4_BIB32","series-title":"Mathematical logic and programming languages","first-page":"11","article-title":"The relation between logic programming and logic specification","author":"Kowalski","year":"1985"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB33","series-title":"Information Processing 86 (IFIP)","first-page":"1005","article-title":"New research directions in logic specification languages","author":"Levi","year":"1986"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB34","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB35","series-title":"Proc. Post-Conf. Workshop on Applications of Logic Programming to Software Engineering (held in conjunction with Internat. Conf. on Logic Programming)","first-page":"100","article-title":"Executable requirements specifications in a logic specification language SPILL-2","author":"Mi\u0142kowska","year":"1994"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB36","series-title":"Putting into Practice Methods and Tools for Information System Design, Proc. 5th Internat. Conf.","first-page":"45","article-title":"Z animation in Lisp","author":"Morrey","year":"1992"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB37","series-title":"Logic, Programming and Prolog","author":"Nilsson","year":"1990"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB38","series-title":"Applications of Formal Methods","first-page":"17","article-title":"Using mathematical models in the inspection of critical software","author":"Parnas","year":"1995"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB39","article-title":"The trace assertion method of module interface specification","author":"Parnas","year":"1989"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB40","author":"Spivey","year":"1989"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB41","series-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB42","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01941129","article-title":"Time considered irrelevant for real-time systems","volume":"28","author":"Turski","year":"1988","journal-title":"BIT"},{"key":"10.1016\/S0167-6423(96)00021-4_BIB43","series-title":"Logic Programming and Automated Reasoning \u2014 Proc. 2nd Russian Conf. on Logic Programming","first-page":"486","article-title":"Logic programming with bounded quantifiers","volume":"Vol. 592","author":"Voronkov","year":"1992"},{"issue":"4","key":"10.1016\/S0167-6423(96)00021-4_BIB44","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1049\/sej.1992.0027","article-title":"Software development: two approaches to animation of Z specifications using Prolog","volume":"7","author":"West","year":"1992","journal-title":"Software Eng. J."},{"key":"10.1016\/S0167-6423(96)00021-4_BIB45","first-page":"675","article-title":"Algebraic specifications","author":"Wirsing","year":"1990"},{"issue":"7","key":"10.1016\/S0167-6423(96)00021-4_BIB46","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1002\/spe.4380180707","article-title":"The programming language Oberon","volume":"18","author":"Wirth","year":"1988","journal-title":"Software \u2014 Practice and Experience"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642396000214?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642396000214?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T03:55:14Z","timestamp":1555473314000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642396000214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":46,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["S0167642396000214"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(96)00021-4","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}