Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation

Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer. Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA. pages 105-115, ACM, 2002. [doi]

@inproceedings{HausmannHT02,
  title = {Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation},
  author = {Jan Hendrik Hausmann and Reiko Heckel and Gabriele Taentzer},
  year = {2002},
  doi = {10.1145/581339.581355},
  url = {http://doi.acm.org/10.1145/581339.581355},
  tags = {graph transformation, analysis, static analysis, graph-rewriting, rewriting, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/HausmannHT02},
  cites = {0},
  citedby = {0},
  pages = {105-115},
  booktitle = {Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA},
  publisher = {ACM},
}