Java implementation verification using reverse engineering
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Supporting task-oriented modeling using interactive UML views
Journal of Visual Languages and Computing
Verification-driven slicing of UML/OCL models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Hi-index | 0.00 |