Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

D. Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Wong

Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

Abstract

This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.
Original languageEnglish
Title of host publicationFormal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
Editors IEEE CS
Pages336 - 336
Number of pages1
Publication statusPublished - Aug 2011

Publication series

Name15th International

Fields of science

  • 102 Computer Sciences
  • 102009 Computer simulation
  • 102011 Formal languages
  • 102013 Human-computer interaction
  • 102029 Practical computer science
  • 102022 Software development
  • 102024 Usability research

Cite this