Lugar de publicación A modular aspect-oriented programming approach of join point interfaces 2019 An Spin / Promela application for model checking UML sequence diagrams 2018 Aspect-combining functions for modular MapReduce solutions 2018
