From requirements to software in CASL

Michel Bidoit

LSV, CNRS and ENS de Cachan, France