32 search results - page 7 / 7 » Guided model checking for programs with polymorphism |
SOFTVIS
2003
ACM
13 years 10 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
SAC
2005
ACM
13 years 11 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...