Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
"Towards Scenario-Based Testing of UML Diagrams";
Vortrag: 6th International Conference on Tests and Proofs (TAP 2012),
Prague, Czech Republic;
31.05.2012
- 01.06.2012; in: "Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)",
Springer,
LNCS 7305
(2012),
ISBN: 978-3-642-30472-9;
S. 149
- 155.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-30473-6_12
Elektronische Version der Publikation:
http://dx.doi.org/10.1007/978-3-642-30473-6_12
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung