Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z

5th IEEE/ACIS International Conference on Computer and Information Science and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering,Software Architecture and Reuse (ICIS-COMSAR'06) ◽

10.1109/icis-comsar.2006.41 ◽

2006 ◽

Cited By ~ 5

Author(s):

S. Ramkarthik ◽

Cui Zhang

Download Full-text