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

ai.cs.uni.dortmund.de

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

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

$EELOGXQJ 'LH ,QLWLDOLVLHUXQJ HLQHV QHXHQ 'RNXPHQWV

,Q GLHVHP 6FKULWW LVW DOV HLQ]LJH )UDJH ]X EHDQWZRUWHQ ZHOFKHQ 'R

NXPHQWEH]HLFKQHU GHU $GPLQLVWUDWRU I U GDV QHXH 'RNXPHQW YHUJH

EHQ P|FKWH KLHU ª[POVSHF© (U GLHQW DOV HLQGHXWLJH %H]HLFKQXQJ

LQQHUKDOE YRQ �� �

6FKULWW 'DV 'RNXPHQW

'DV 'RNXPHQW I U GLH GHXWVFKH ��� 6SH]LILNDWLRQ LVW JHPl‰ HLQHU

��� I U GLH %XFKKHUVWHOOXQJ DXVJH]HLFKQHW YJO >���� @ $XIJUXQG

GHV 8PIDQJV GHU ��� ZHUGH LFK VLH KLHU QLFKW YRUVWHOOHQ 6LH LVW DXFK

QLFKW 7HLO PHLQHU 'LSORPDUEHLW VRQGHUQ ZXUGH JHQDX ZLH GLH ,Q

VWDQ] VFKRQ YRU GHU $UEHLW DQ �� � YRQ PLU JHVFKULHEHQ *OHLFKHV

JLOW I U GDV ����� 6W\OHVKHHW GDV LFK ]XU 8PZDQGOXQJ YRQ ,QVWDQ

]HQ GLHVHU ��� LQ ���� JHVFKULHEHQ KDEH (V NRPPW LQ �� � DOV

����� 5XPSI ]XP (LQVDW] 'HU LQ ���� JHZDQGHOWH $XVJDQJVWH[W

NDQQ LP :HE XQWHU GHU $GUHVVH KWWS ZZZ PLQWHUW FRP [PO WUDQV

5(& [PO GH KWPO HLQJHVHKHQ ZHUGHQ

6FKULWW (UVWHOOHQ GHU 6XFKPXVWHU

'LH 'HILQLWLRQ GHU GUHL YHUZHQGHWHQ 6XFKPXVWHU EHVLW]W LQ GLHVHP

)DOO IROJHQGH *HVWDOW =XU EHVVHUHQ /HVEDUNHLW KDEH LFK GLH 'DWHL XQ

WHUWHLOW XP MHGHV 6XFKPXVWHU HLQ]HOQ EHVFKUHLEHQ ]X N|QQHQ

'2&7

More magazines by this user
Similar magazines