{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T07:35:52Z","timestamp":1672990552942},"reference-count":19,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1993,2]]},"DOI":"10.1016\/s0950-5849(05)80001-1","type":"journal-article","created":{"date-parts":[[2007,1,13]],"date-time":"2007-01-13T17:20:02Z","timestamp":1168708802000},"page":"67-77","source":"Crossref","is-referenced-by-count":1,"title":["A predicative basis for structured analysis specification tools"],"prefix":"10.1016","volume":"35","author":[{"given":"RB","family":"France","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(05)80001-1_bib1","series-title":"Structured analysis and system specification","author":"DeMarco","year":"1978"},{"key":"10.1016\/S0950-5849(05)80001-1_bib2","series-title":"Structured systems analysis: tools and techniques","author":"Gane","year":"1978"},{"key":"10.1016\/S0950-5849(05)80001-1_bib3","series-title":"Modern systems analysis","author":"Yourdon","year":"1989"},{"key":"10.1016\/S0950-5849(05)80001-1_bib4","series-title":"Z User Workshop","article-title":"Using Yourdon and Z: an approach to formal specification","author":"Semmens","year":"1991"},{"issue":"No 4","key":"10.1016\/S0950-5849(05)80001-1_bib5","article-title":"Semantically extended data flow diagrams: a formal specification tool","volume":"Vol 18","author":"France","year":"1992","journal-title":"IEEE TSE"},{"key":"10.1016\/S0950-5849(05)80001-1_bib6","series-title":"Methods Integration Conference","article-title":"SVDM: an integrated combination of SA and VDM","author":"Larsen","year":"1991"},{"issue":"No 5","key":"10.1016\/S0950-5849(05)80001-1_bib7","doi-asserted-by":"crossref","DOI":"10.1109\/32.90448","article-title":"Informal and formal requirements specification languages: bridging the gap","volume":"Vol 17","author":"Fraser","year":"1991","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/S0950-5849(05)80001-1_bib8","series-title":"Technical report","article-title":"Towards a formal foundation for demarco data flow diagrams","author":"Tse","year":"1986"},{"key":"10.1016\/S0950-5849(05)80001-1_bib9","series-title":"Technical report","article-title":"An algebraic formulation for structured analysis design and models","author":"Tse","year":"1985"},{"key":"10.1016\/S0950-5849(05)80001-1_bib10","series-title":"Soft. Eng.","article-title":"A formal basis for structured analysis","author":"France","year":"1988"},{"key":"10.1016\/S0950-5849(05)80001-1_bib11","series-title":"Information Processing 89","article-title":"Flexibility and rigour in structured analysis","author":"France","year":"1989"},{"key":"10.1016\/S0950-5849(05)80001-1_bib12","series-title":"VDM 91\u2014Formal Software Development Methods","article-title":"A case for structured analysis\/formal design","author":"Plat","year":"1991"},{"key":"10.1016\/S0950-5849(05)80001-1_bib13","series-title":"Entity-relationship approach to systems analysis and design","author":"Chen","year":"1980"},{"key":"10.1016\/S0950-5849(05)80001-1_bib14","doi-asserted-by":"crossref","DOI":"10.1016\/0164-1212(92)90094-Z","article-title":"A practical assessment of formal specification approaches for data abstractions","volume":"Vol 17","author":"Ventouris","year":"1992","journal-title":"J. Systems Software"},{"key":"10.1016\/S0950-5849(05)80001-1_bib15","article-title":"An initial algebraic approach to specification correctness and implementation of abstract data type","author":"Goguen","year":"1978"},{"key":"10.1016\/S0950-5849(05)80001-1_bib16","series-title":"Theoretical foundations of programming methodology","article-title":"An analysis of semantic models for algebraic specifications","author":"Wirsing","year":"1982"},{"key":"10.1016\/S0950-5849(05)80001-1_bib17","author":"Goguen","year":"1988"},{"issue":"No 5","key":"10.1016\/S0950-5849(05)80001-1_bib18","doi-asserted-by":"crossref","DOI":"10.1109\/MS.1985.231756","article-title":"The Larch family of specification languages","volume":"Vol 2","author":"Guttag","year":"1985","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(05)80001-1_bib19","series-title":"Logic Programming, Proceedings of the 5th Int. Conf. Symp.","article-title":"SAME\u2014a structured analysis tool and its implementation in Prolog","author":"Docker","year":"1988"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584905800011?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584905800011?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T01:52:55Z","timestamp":1547085175000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584905800011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["S0950584905800011"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(05)80001-1","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}