Decomposing Verification Around End-User Features

Abstract

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

Topics

  • Presentations referencing similar topics