Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest

Mario Friske, Holger Pirk. Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest. In Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage, editors, INFORMATIK 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005. Volume 68 of LNI, pages 516-520, GI, 2005.

@inproceedings{FriskeP05,
  title = {Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest},
  author = {Mario Friske and Holger Pirk},
  year = {2005},
  researchr = {https://researchr.org/publication/FriskeP05},
  cites = {0},
  citedby = {0},
  pages = {516-520},
  booktitle = {INFORMATIK 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005},
  editor = {Armin B. Cremers and Rainer Manthey and Peter Martini and Volker Steinhage},
  volume = {68},
  series = {LNI},
  publisher = {GI},
  isbn = {3-88579-397-0},
}