Sign in

Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line.

Tonny Kurniadi SatyanandaDanhyung LeeSungwon Kang
Published in: ICSEA (2007)
Keyphrases
  • software architecture
  • formal verification
  • reference model
  • software product line
  • product line
  • high level
  • artificial intelligence
  • multi agent
  • user interface
  • model checking