%0 Conference Paper %1 Scholz:2011:ADF:2019136.2019144 %A Scholz, Wolfgang %A Thüm, Thomas %A Apel, Sven %A Lengauer, Christian %B Proceedings of the 15th International Software Product Line Conference, Volume 2 %C New York, NY, USA %D 2011 %I ACM %K automatic detection discovery feature interaction interactions java %P 7:1--7:8 %R 10.1145/2019136.2019144 %T Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report %U http://doi.acm.org/10.1145/2019136.2019144 %X In the development of complex software systems, interactions between different program features increase the design complexity. Feature-oriented software development focuses on the representation and compositions of features. The implementation of features often cuts across object-oriented module boundaries and hence comprises interactions. The manual detection and treatment of feature interactions requires a deep knowledge of the implementation details of the features involved. Our goal is to detect interactions automatically using specifications by means of design by contract and automated theorem proving. We provide a software tool that operates on programs in Java and the Java Modeling Language (JML). We discuss which kinds of feature interactions can be detected automatically with our tool and how to detect other kinds of interactions. %@ 978-1-4503-0789-5

@inproceedings{Scholz:2011:ADF:2019136.2019144, abstract = {In the development of complex software systems, interactions between different program features increase the design complexity. Feature-oriented software development focuses on the representation and compositions of features. The implementation of features often cuts across object-oriented module boundaries and hence comprises interactions. The manual detection and treatment of feature interactions requires a deep knowledge of the implementation details of the features involved. Our goal is to detect interactions automatically using specifications by means of design by contract and automated theorem proving. We provide a software tool that operates on programs in Java and the Java Modeling Language (JML). We discuss which kinds of feature interactions can be detected automatically with our tool and how to detect other kinds of interactions.}, acmid = {2019144}, added-at = {2015-10-28T14:29:55.000+0100}, address = {New York, NY, USA}, articleno = {7}, author = {Scholz, Wolfgang and Th\"{u}m, Thomas and Apel, Sven and Lengauer, Christian}, biburl = {https://www.bibsonomy.org/bibtex/236f5efc0e2b3d2e705ba463467748f9b/jil}, booktitle = {Proceedings of the 15th International Software Product Line Conference, Volume 2}, doi = {10.1145/2019136.2019144}, interhash = {3af82aafb735cc4dfff1de23f92006c9}, intrahash = {36f5efc0e2b3d2e705ba463467748f9b}, isbn = {978-1-4503-0789-5}, keywords = {automatic detection discovery feature interaction interactions java}, location = {Munich, Germany}, numpages = {8}, pages = {7:1--7:8}, publisher = {ACM}, series = {SPLC '11}, timestamp = {2015-10-28T14:29:55.000+0100}, title = {Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report}, url = {http://doi.acm.org/10.1145/2019136.2019144}, year = 2011 }