A five-year experience with abstraction-based software-development techniques in the university environment indicates that the investment required to support the paradigm in practice is returned in terms of greater ability to control complexity in large projects-provided there exists a set of software tools sufficient to support the approach. ABSTRACTlOU-6ASED SOFTWARE DEVELOPMEUT