Towards an integrated quality assessment and improvement approach for UML models
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Hi-index | 0.00 |
Verification is usually performed on a high-level view of the software, either specification or program source code. However in certain circumstances verification is more relevant when performed at the machine code level. This paper focuses on automatic ...