Software Engineering with C++ and Case Tools