Extracting Functional and Non-functional Contracts from Java Classes and Enterprise Java Beans (2004)

by N Milanovic, M Malek
Venue:In Proceedings of the Workshop on Architecting Dependable Systems (WADS 2004) at the International Conference on Dependable Systems and Networks (DSN 2004