Login / Signup
Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ.
Cristian Vidal Silva
Rodolfo Villarroel
Rodolfo Schmal Simón
Rodrigo Saens
Tamara Tigero
Carolina Del Río
Published in:
Comput. Informatics (2015)
Keyphrases
</>
aspect oriented
d objects
object oriented
dynamic aspects
formal models
complex objects
object model
software development
case study
database
crosscutting concerns
bounding box
object segmentation
formal model
lighting conditions
object tracking
database management systems
multi agent systems
cooperative