Login / Signup

A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.

Fabian BenduhnThomas ThümMalte LochauThomas LeichGunter Saake
Published in: VaMoS (2015)
Keyphrases
  • software product line
  • formal methods
  • goal driven
  • model checking
  • formal models
  • formal analysis
  • database
  • software engineering
  • learning experience
  • social interaction
  • life cycle