Lugar de publicación Aspect-oriented formal modeling: (Aspectz + Object-Z) = Ooaspectz 2015 Aspect-oriented modeling: Applying aspect-oriented UML use cases and extending Aspect-Z 2013
