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

ABSTRACT

FMSPLE 2013 is the fourth edition of the FMSPLE workshop series aimed at connecting researchers and practitioners interested in raising the efficiency and the effectiveness of software product line engineering through the application of innovative analysis approaches and formal methods.

Index Terms

• General and reference

  • Cross-computing tools and techniques

    • Validation

• Software and its engineering

  • Software creation and management

    • Designing software

      • Software implementation planning

        • Software design techniques

    • Software development process management

    • Software development techniques

      • Reusability

    • Software verification and validation

      • Empirical software validation

      • Formal software verification

      • Process validation

      • Software defect analysis

        • Software testing and debugging

  • Software notations and tools

    • Software libraries and repositories

  • Software organization and properties

    • Software functional properties

      • Formal methods

        • Model checking

    • Software system structures

      • Software architectures

• Theory of computation

  • Logic

    • Verification by model checking