title: Panelist position statement: reasoning about the design of programs.
authors.affiliation: University of Newcastle upon Tyne, UK. cliff.jones@ncl.ac.uk
authors.forename: Cliff B
authors.initials: CB
authors.lastname: Jones
mesh_terms: D000465:Algorithms; D008432:Mathematical Computing; D008962:Models, Theoretical; D009716:Numerical Analysis, Computer-Assisted; D012984:Software; D012985:Software Design; D012986:Software Validation