Research area: Software development methods

This is a list of current research topics. Click on a topic title to view a description.

Best practices meet formal methods

Constraint-based verification

Formal techniques