BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:2723-3044@rg-paderborn.gi.de
CLASS: PUBLIC
SUMMARY:Testkomplexität beherrschen (Treffen der GI-Fachgruppe TAV)
DESCRIPTION:Die Fachgruppe TAV (Test, Analyse und Verifikation von Software
 ) der GI tauscht sich aus zu den Themen dynamisches Testen, statische Analy
 sen und formale Techniken (z.B. symbolische Interpretation und formale Korr
 ektheitsbeweise) der Programmprüfung sowie Fragen des Testmanagements. Bei 
 diesem Treffen geht es um Testkomplexität: Komplexe Software, Einsatz von M
 odellen, Umgang mit Komplexität.
LOCATION:Zukunftsmeile
DTSTAMP:20190704T094414Z
DTSTART:20151015T070000Z
DTEND:20151016T140000Z
END:VEVENT
END:VCALENDAR