Automatisierte WWW-Veröffentlichung auf der Basis formaler ...

ai.cs.uni.dortmund.de

Automatisierte WWW-Veröffentlichung auf der Basis formaler ...

���������������������������������������

$EELOGXQJ 'LH YRQ �� � HU]HXJWH :HEVHLWH HWZDV VFKPXFNORV

DEHU YROO IXQNWLRQVIlKLJ ,Q GHU $GUHVV =HLOH LVW ]X HUNHQQHQ GD‰

GHU YRP $GPLQLVWUDWRU JHZlKOWH 'RNXPHQWEH]HLFKQHU ª[POVSHF©

LQ GHQ ��� HLQJHIORVVHQ LVW

'HU REHUH )UDPH HQWKlOW QXU HLQ ���� )UDJPHQW QlPOLFK GDV

ªQDFNWH© 6XFKIRUPXODU � 'LHVH 'DWHL VROOWH LQ HLQH ���� 'DWHL LQWH

JULHUW ZHUGHQ VR GD‰ (LQVWHOOXQJHQ ZLH )DUEHQ XQG 6FKULIWDUWHQ

PDQXHOO YRUJHQRPPHQ ZHUGHQ N|QQHQ ) U GDV $QZHQGXQJVEHL

VSLHO GHU ��� 6SH]LILNDWLRQ KDEH LFK HLQH ZHLWHUH ���� 'DWHL JH

VFKULHEHQ GLH GDV )RUPXODU HLQELQGHW VLHKH $EELOGXQJ

� ����������������������������������������������

��

More magazines by this user
Similar magazines