Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements

Christian Ellen, Sven Sieverding, Hardi Hungar. Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. In Frédéric Lang, Francesco Flammini, editors, Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings. Volume 8718 of Lecture Notes in Computer Science, pages 155-169, Springer, 2014. [doi]

Authors

Christian Ellen

This author has not been identified. Look up 'Christian Ellen' in Google

Sven Sieverding

This author has not been identified. Look up 'Sven Sieverding' in Google

Hardi Hungar

This author has not been identified. Look up 'Hardi Hungar' in Google