Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Method redefinition: ensuring alternative behaviors
Information Processing Letters
A knowledge-based framework for extracting components in agile systems development
Information Technology and Management
Method redefinition---ensuring alternative behaviors
Information Processing Letters
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |