{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T13:03:46Z","timestamp":1648559026548},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[1997,3]]},"abstract":"<jats:p> The use of formal methods early in the development process has been advocated as a way of improving the quality of software products and their production process. Here we study the influence of a formal requirements document on the next phase in the software process, that is design. We suggest that formal design should coherently follow from formal requirements. We show that two different formal notations can be effectively used, one for writing requirements specification and one for design specification. We also consider how a design specification can be formally checked with respect to requirements specification. The notations we choose are well known: the Z notation for requirements and the Larch two-tiered language for design. We show how a number of tools based on these notations can be used to improve the quality of the documents produced during the development process. <\/jats:p>","DOI":"10.1142\/s0218194097000023","type":"journal-article","created":{"date-parts":[[2003,10,22]],"date-time":"2003-10-22T05:26:17Z","timestamp":1066800377000},"page":"1-42","source":"Crossref","is-referenced-by-count":4,"title":["Formal Requirements and Design Specifications: The Clepsydra Methodology"],"prefix":"10.1142","volume":"07","author":[{"given":"P.","family":"Ciaccia","sequence":"first","affiliation":[{"name":"DEIS CSITE-CNR, University of Bologna, Viale Risorgimento 2, 40136 Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Ciancarini","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Bologna, Via Mura A. Zamboni, 7, 40127 Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Penzo","sequence":"additional","affiliation":[{"name":"DEIS CSITE-CNR, University of Bologna, Viale Risorgimento 2, 40136 Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194097000023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:37:36Z","timestamp":1565127456000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194097000023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":0,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1997,3]]}},"alternative-id":["10.1142\/S0218194097000023"],"URL":"https:\/\/doi.org\/10.1142\/s0218194097000023","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}