Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An approach to architectural analysis of product lines
Proceedings of the 22nd international conference on Software engineering
IEEE Transactions on Knowledge and Data Engineering
A hybrid process for recovering software architecture
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Runtime verification of .NET contracts
Journal of Systems and Software - Special issue on: Component-based software engineering
Automatic derivation of loop termination conditions to support verification
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
| Hi-index | 0.00 |