CASE: Computer-Aided Software Engineering