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

ai.cs.uni.dortmund.de

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

��

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

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

'D GDV $GPLQLVWUDWLRQV :HUN]HXJ LP ZHVHQWOLFKHQ HLQH QHWWH 9HU

SDFNXQJ �� I U GLH DQGHUHQ 3URJUDPPH LVW NDP HV EHL GHU ,PSOH

PHQWLHUXQJ GDUDXI DQ GHQ $XIUXI YRQ 3URJUDPPHQ XQG GLH 3DUDPH

WHU EHUJDEH P|JOLFKVW HLQIDFK ]X UHDOLVLHUHQ 'LH YRQ LS Z PDQDJHU

HUI OOWH )XQNWLRQ LVW NHLQH VHKU NRPSOH[H VR GD‰ LFK LQ GLHVHP SUR

WRW\SLVFKHQ 6WDGLXP GHV *HVDPWV\VWHPV DXI HLQH JUDSKLVFKH 2EHU

IOlFKH YHU]LFKWHQ NRQQWH $XV GLHVHQ *U QGHQ KDEH LFK GDV 3UR

JUDPP DOV %RXUQH 6KHOO 6NULSW LPSOHPHQWLHUW

&*, 6NULSWH

,Q �� � NRPPHQ ]ZHL ��� 6NULSWH ]XP (LQVDW] SUHYLHZ SO XQG VH

DUFK SO /HW]WHUHV 6NULSW I KUW GLH 6WLFKZRUWVXFKH GXUFK GLH ZLH

REHQ EHVFKULHEHQ HLQH HLQIDFKH VHTXHQWLHOOH 6XFKH LVW ) U GLH )RU

PDWLHUXQJ LVW SUHYLHZ SO ]XVWlQGLJ

,P ZHVHQWOLFKHQ KDEHQ EHLGH 6NULSWH GLH $XIJDEH GLH 6FKQLWWVWHOOH

]ZLVFKHQ :HE 6HUYHU XQG GHQ ]XYRU EHVFKULHEHQHQ 3URJUDPPHQ ]X

ELOGHQ 6LH P VVHQ GD]X 3DUDPHWHU JHPl‰ &RPPRQ *DWHZD\ ,QWHU

IDFH .RQYHQWLRQ DN]HSWLHUHQ DXVZHUWHQ XQG EHLP $XIUXI DQ GLH DQ

GHUHQ 3URJUDPPH ZHLWHUUHLFKHQ 'LH %HKDQGOXQJ GHU ��� 3DUDPHWHU

LVW LQ HLQHP 3HUO ��� 0RGXO JHNDSVHOW GDV DOV IUHL YHUI JEDUHV 3DNHW

LP &RPSUHKHQVLYH 3HUO $UFKLYH 1HWZRUN ���� HUKlOWOLFK LVW 'LHV

ZDU GHU +DXSWJUXQG I U GLH 9HUZHQGXQJ YRQ 3HUO =ZDU Ol‰W VLFK HLQ

&*, 6NULSW DXFK UHODWLY OHLFKW VHOEVW LPSOHPHQWLHUHQ MHGRFK LVW KLHU

QLFKW QXU DXV IXQNWLRQDOHQ *U QGHQ DXI HLQH NRUUHNWH ,PSOHPHQWLH

UXQJ ]X DFKWHQ VRQGHUQ DXV *U QGHQ GHU 6\VWHPVLFKHUKHLW DXFK

DXI HLQH VLFKHUH 'LHVH $QIRUGHUXQJ PDFKW GLH ��� 3URJUDPPLHUXQJ

VFKZLHULJ GD HV QDW UOLFK" P|JOLFK LVW HLQH NRUUHNWH DEHU PLW 6L

FKHUKHLWVO FNHQ EHKDIWHWH 8PVHW]XQJ ]X VFKUHLEHQ 'LH $XVI KUXQJ

HLQHV VROFKHQ 3URJUDPPV MHGHP ��� %HQXW]HU ]X JHVWDWWHQ LVW ULV

NDQW 'XUFK %HQXW]XQJ HLQHV DXVJHWHVWHWHQ XQG ]XYHUOlVVLJHQ ���

0RGXOV ZLUG GDV 5LVLNR PLQLPLHUW

1HEHQ GHP $XIUXI YRQ QVJPOV -DGH XQG &R67 HU]HXJHQ EHLGH

6NULSWH DXFK GHQ ���� .RSI +\SHUWH[W 7UDQVIHU 3URWRFRO GHU GHP

:HE %URZVHU PLWWHLOW GD‰ HU DOV 'DWHQIRUPDW ���� ]X HUZDUWHQ KDW

'HV ZHLWHUHQ JHEHQ GLH ��� 6NULSWH ���� &RGH DXV LQ GHQ GLH $XV

JDEH GHU DQGHUHQ 3URJUDPPH HLQJHEHWWHW ZLUG

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

More magazines by this user
Similar magazines