Efficient consistency checking of scenario-based product-line specifications

  title={Efficient consistency checking of scenario-based product-line specifications},
  author={Joel Greenyer and Amir Molzam Sharifloo and Maxime Cordy and Patrick Heymans},
  journal={2012 20th IEEE International Requirements Engineering Conference (RE)},
Modern technical systems typically consist of multiple components and must provide many functions that are realized by the complex interaction of these components. Moreover, very often not only a single product, but a whole product line with different compositions of components and functions must be developed. To cope with this complexity, it is important that engineers have intuitive, but precise means for specifying the requirements for these systems and have tools for automatically finding… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-9 of 9 citations


Publications referenced by this paper.
Showing 1-10 of 26 references

Design of a UML profile for feature diagrams and its tooling implementation

  • T. Possomps, C. Dony, M. Huchard, C. Tibermacine
  • Proc. 23th Int. Conf. on Software Engineering and…
  • 2011
1 Excerpt

Scenario-based design of mechatronic systems

  • J. Greenyer
  • Ph.D. dissertation, University of Paderborn, Oct…
  • 2011
2 Excerpts