We have been developing the RAISE tools III/3/1 for some time. This project continues their development. In particular we are seeking to integrate them with OO and graphical approaches. Recent work has also been concerend with adding a model checking capability.