USE CASE BASED REQUIREMENTS VERIFICATION - Verifying the Consistency between Use Cases and Assertions Topics: Requirements Analysis In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS, 190-195, 2007 , Funchal, Madeira, Portugal