Login / Signup

Static checking of system behaviors using derived component assumptions.

Paola InverardiAlexander L. WolfDaniel Yankelevich
Published in: ACM Trans. Softw. Eng. Methodol. (2000)
Keyphrases
  • human behavior
  • decision making
  • software components
  • machine learning
  • genetic algorithm
  • image processing
  • multimedia
  • case study
  • relational databases
  • social behavior
  • behavior analysis
  • behavior patterns