Incremental design and verification (WP7)

WP3 Intranet

WP7 will investigate foundations for design by increments. These increments are variously called aspects or features. Incremental design is important to allow software to follow more flexibly the evolving needs of its users, and is also a fruitful technique to reduce risk in software development and to manage a large set of related software products (called a product line) that can be tailored to suit individual needs. Incrementality is also a challenge to verification (and more generally, software development) techniques, that should take into account the verification work already done and reuse it as much as possible.



Yearly presentations

wp7/index.txt · Last modified: 2011/12/07 10:51 by pys