A Methodological Assistant for Use Case Diagrams Topics: Frameworks for Model-Driven Development; Reasoning about Models; Syntax and Semantics of Modeling Languages In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 227-236, 2020 , Valletta, Malta