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

ai.cs.uni.dortmund.de

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

$XWRPDWLVLHUWH

::: 9HU|IIHQWOLFKXQJ

DXI GHU %DVLV IRUPDOHU

$XV]HLFKQXQJVVSUDFKHQ

=XVDPPHQIDVVXQJ

'DV (UJHEQLV GLHVHU 'LSORPDUEHLW LVW HLQ 6\VWHP GDV ���� ��� NRGLHUWH 'R

NXPHQWH I U GLH 9HU|IIHQWOLFKXQJ LP :RUOG :LGH :HE DXIEHUHLWHW 'HU %HQXW

]HU G K GHU /HVHU KDW GLH 0|JOLFKNHLW QDFK 6WLFKZRUWHQ LQ HLQHU YRQ

PHKUHUHQ .DWHJRULHQ ]X VXFKHQ 6XFKEHJULII XQG 6XFKNDWHJRULH HUVHW]HQ GLH

KlXILJ ]X XQJHQDXH 9ROOWH[WVXFKH ,P *HJHQVDW] ]X GHQ $XVJDEHQ YRQ KHU

N|PPOLFKHQ 6XFKIXQNWLRQHQ HUKlOW HU DOV (UJHEQLV NHLQHQ YRUJHIHUWLJWHQ $XV

VFKQLWW DXV GHP 'RNXPHQW ] % HLQ .DSLWHO HLQHQ $EVFKQLWW XVZ 9LHOPHKU

ZLUG GHU $XVVFKQLWW LQ $EKlQJLJNHLW GHU 7H[WVWHOOH EHVWLPPW GLH EHL GHU 6X

FKH DOV 7UHIIHU HUPLWWHOW ZXUGH

'LH 'HILQLWLRQ VROFKHU 'RNXPHQWDXVVFKQLWWH XQG GHU 6XFKNDWHJRULHQ ILQGHW

PLW %H]XJ DXI GHQ 'RNXPHQWW\S QLFKW EH] JOLFK GHV NRQNUHWHQ 7H[WHV VWDWW

'LHVH +HUDQJHKHQVZHLVH EHVLW]W GHQ 9RUWHLO QRWZHQGLJH .RQILJXUDWLRQHQ QXU

HLQPDO MH 'RNXPHQWW\S PDFKHQ ]X P VVHQ GLH GDQQ I U VlPWOLFKH 'RNX

PHQWH GLHVHV 7\SV DQZHQGEDU VLQG

More magazines by this user
Similar magazines