dc.contributor.author |
Li, P |
en |
dc.contributor.author |
Sun, Jing |
en |
dc.contributor.author |
Wang, H |
en |
dc.date.accessioned |
2018-10-24T23:12:49Z |
en |
dc.date.issued |
2017 |
en |
dc.identifier.issn |
1793-6403 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/43431 |
en |
dc.description.abstract |
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. |
en |
dc.publisher |
World Scientific Publishing |
en |
dc.relation.ispartofseries |
International Journal of Software Engineering and Knowledge Engineering |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. |
en |
dc.rights |
Electronic version of an article published as International Journal of Software Engineering and Knowledge Engineering 27(9-10):1637-1662 2017 http://dx.doi.org/10.1142/S0218194017400162 © World Scientific Publishing Company |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.rights.uri |
https://www.worldscientific.com/page/authors/author-rights |
en |
dc.title |
Formal approach to assertion-based code generation |
en |
dc.type |
Journal Article |
en |
pubs.issue |
9-10 |
en |
pubs.begin-page |
1637 |
en |
pubs.volume |
10.1142/S0218194017400162 |
en |
dc.rights.holder |
Copyright: World Scientific Publishing Company |
en |
pubs.end-page |
1662 |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |
pubs.subtype |
Article |
en |
pubs.elements-id |
723997 |
en |
pubs.org-id |
Science |
en |
pubs.org-id |
School of Computer Science |
en |
pubs.record-created-at-source-date |
2017-11-08 |
en |