C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AspectJML: modular specification and runtime checking for crosscutting contracts.
Henrique Rebêlo
Gary T. Leavens
Mehdi Bagherzadeh
Hridesh Rajan
Ricardo Massa Ferreira Lima
Daniel M. Zimmerman
Márcio Cornélio
Thomas Thüm
Published in:
MODULARITY (2014)
Keyphrases
</>
aspect oriented
aspect oriented programming
crosscutting concerns
supply chain
development process
user defined
specification language
high level
object oriented
business applications
formal specification
formal verification
modular structure
modular neural networks
genetic algorithm
life cycle