Verifying Requirements Through Mathematical Modelling and Animation

Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff. Verifying Requirements Through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowledge Engineering, 10(2):251-273, 2000.

Abstract

Abstract is missing.