Decomposing Verification Around End-User Features


Practical program verification techniques must align with the software development methodologies that produce the programs. Numerous researchers have independently proposed models of program development in which modules encapsulate units of end-user functionality known as features. Such encapsulation reflects user concerns into a program’s modular structure… (More)
DOI: 10.1007/978-3-540-69149-5_10

1 Figure or Table


  • Presentations referencing similar topics