Sign in

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.

Antoine El-HokayemYliès FalconeMohamad Jaber
Published in: J. Log. Algebraic Methods Program. (2018)
Keyphrases
  • formal methods
  • behavioral model
  • complex systems
  • human behavior
  • behavioral patterns
  • management system
  • machine learning
  • information systems
  • relational databases
  • cognitive agents