@conference{, author = {Frattini, Julian and Junker, Maximilian and Unterkalmsteiner, Michael and Mendez, Daniel}, title = {Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts}, publisher = {ACM/IEEE}, journal = {Proc. International Conference on Automated Software Engineering}, year = {2020}, doi = {10.1145/3324884.3416549}, url = {https://doi.org/10.1145/3324884.3416549}, } @inproceedings{Boehm2014, author = {B{\"{o}}hm, Wolfgang and Junker, Maximilian and Vogelsang, Andreas and Teufl, Sabine and Pinger, Ralf and Rahn, Karsten}, title = {A Formal Systems Engineering Approach in Practice: An Experience Report}, booktitle = {SER\&IPs}, pages = {34--41}, year = {2014}, timestamp = 2014.03.10, owner = {teufl}, } @inproceedings{Vogelsang14, author = {Vogelsang, Andreas and Eder, Sebastian and Hackenberg, Georg and Junker, Maximilian and Teufl, Sabine}, editor = {Borangiu, Theodor and Thomas, Andre and Trentesaux, Damien}, title = {Supporting Concurrent Development of Requirements and Architecture: A Model-based Approach}, booktitle = {2014 2nd International Conference on Model-Driven Engineering and Software Development ({MODELSWARD})}, pages = {587--595}, year = {2014}, timestamp = 2014.03.06, owner = {teufl}, abstract = {A system's requirements and its architecture are usually developed at least partly in parallel. This demands a continuous and automated assessment to confirm that the architecture conforms to its requirements. To enable such an assessment, the stepwise formalization of informal requirements has been proposed. However, there is no canonical set of artifacts and analysis techniques that has been evaluated for this task in practice yet. In this paper we propose an artifact model and a process that enables the continuous conformance assessment between requirements and architecture in a model-based context. We evaluate both in a development project with a group of students.}, url = {https://ieeexplore.ieee.org/abstract/document/7018526}, }