{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T07:46:25Z","timestamp":1748245585724},"reference-count":12,"publisher":"World Scientific Pub Co Pte Lt","issue":"09n10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2017,11]]},"abstract":"<jats:p> With the growing in size and complexity of modern computer systems, the need for improving the quality at all stages of software development has become a critical issue. The current software production has been largely dependent on manual code development. Despite the slow development process, the errors introduced by the programmers contribute to a substantial portion of defects in the final software product. This paper investigates the synergy of generating code and assertion constraints from formal design models and use them to verify the implementation. We translate Z formal models into their OCL counterparts and Java assertions. With the help of existing tools, we demonstrate various checkings at different levels to enhance correctness. <\/jats:p>","DOI":"10.1142\/s0218194017400162","type":"journal-article","created":{"date-parts":[[2018,1,29]],"date-time":"2018-01-29T03:17:32Z","timestamp":1517195852000},"page":"1637-1662","source":"Crossref","is-referenced-by-count":2,"title":["Formal Approach to Assertion-Based Code Generation"],"prefix":"10.1142","volume":"27","author":[{"given":"Pengyi","family":"Li","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand"},{"name":"Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand"}]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand"},{"name":"Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand"}]},{"given":"Hai","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Engineering and Applied Science, Aston University, Birmingham B4 7ET, UK"}]}],"member":"219","published-online":{"date-parts":[[2018,1,28]]},"reference":[{"key":"S0218194017400162BIB001","volume-title":"Understanding Formal Methods","author":"Monin J. F.","year":"2012"},{"key":"S0218194017400162BIB003","doi-asserted-by":"publisher","DOI":"10.1147\/sj.352.0151"},{"key":"S0218194017400162BIB004","doi-asserted-by":"publisher","DOI":"10.1201\/9781420010855.pt2"},{"key":"S0218194017400162BIB005","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0096-1"},{"key":"S0218194017400162BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_7"},{"key":"S0218194017400162BIB008","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-015-0269-z"},{"key":"S0218194017400162BIB009","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40011-7_19"},{"key":"S0218194017400162BIB010","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30982-3_3"},{"issue":"2","key":"S0218194017400162BIB012","first-page":"21","volume":"5","author":"Bezivin J.","year":"2004","journal-title":"Novatica J. Spec. Issue UML (Unified Modeling Language)"},{"key":"S0218194017400162BIB013","volume-title":"JUnit in Action","author":"Massol V.","year":"2003"},{"key":"S0218194017400162BIB015","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-010-0099-4"},{"key":"S0218194017400162BIB016","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194017400162","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T17:34:31Z","timestamp":1565199271000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194017400162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":12,"journal-issue":{"issue":"09n10","published-online":{"date-parts":[[2018,1,28]]},"published-print":{"date-parts":[[2017,11]]}},"alternative-id":["10.1142\/S0218194017400162"],"URL":"https:\/\/doi.org\/10.1142\/s0218194017400162","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11]]}}}