The goal of this book is to provide a comprehensive and systematic introduction to the
important and highly applicable method of data refinement and the simulation methods used …

Problem statements often resort to superlatives such as in eg “… the smallest such
number”,“… the best approximation”,“… the longest such list” which lead to specifications …

The development of large software systems consists of a sequence of modeling tasks. It
requires the modeling and description of the application domain, software requirements …

Computer programming is admittedly a challenging intellectual activity, calling for
experience and training under a read-understand-repeat learning cycle. By acquiring good …

A Bibliography of Willem-Paul de Roever | SpringerLink Skip to main content Advertisement
Springer Nature Link Account Menu Find a journal Publish with us Track your research Search …

The present paper contains a new result on the combination of Hoare logic and Scott's
induction rule, obtained by taking the specification statement; as basic statement instead of …