A Matlab implementation of the Specification Pattern