Login / Signup

Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series.

Dave ClarkeIna SchaeferMaurice H. ter BeekSven ApelJoanne M. Atlee
Published in: SPLC (2013)
Keyphrases
  • formal methods
  • formal analysis
  • user interface
  • databases
  • software systems
  • modeling language
  • open source
  • building blocks
  • formal specification
  • process algebra