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

ai.cs.uni.dortmund.de

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

P|JOLFK $XI GDV 0HUNHQ YRQ 'RNXPHQWDXVVFKQLWWHQ XQG (LQJDEH

EHUSU IXQJ PX‰ GHU %HQXW]HU GDQQ DEHU YHU]LFKWHQ

&*, 6NULSWH

�� � DUEHLWHW PLW MHGHP EHOLHELJHQ ��� 6HUYHU ]XVDPPHQ GHU GDV

&RPPRQ *DWHZD\ ,QWHUIDFH ��� XQWHUVW W]W 'LH 6FKQLWWVWHOOH ]ZL

VFKHQ :HE 6HUYHU XQG GHQ 3URJUDPPHQ YRQ �� � 6WLFKZRUWVXFKH

)RUPDWLHUHU XVZ ELOGHQ ]ZHL ��� 6NULSWH ��� ZXUGH YRQ GHQ (QW

ZLFNOHUQ GHV ���� XQG GHV ���� 6HUYHUV HQWZLFNHOW >���� @ XP

3URJUDPPH GLH YRQ HLQHP :HE 6HUYHU DXIJHUXIHQ ZHUGHQ ]ZLVFKHQ

GHQ EHLGHQ 6HUYHUW\SHQ DXVWDXVFKHQ ]X N|QQHQ (V KDQGHOW VLFK GD

EHL XP HLQH .RQYHQWLRQ ZLH 'DWHQ GLH ] % LQ HLQHP )RUPXODU HLQ

JHJHEHQ ZHUGHQ YRP %URZVHU DQ GHQ 6HUYHU XQG YRQ GLHVHP DQ HLQ

3URJUDPP EHUJHEHQ ZHUGHQ +HXWH EHKHUUVFKHQ DOOH EHNDQQWHQ

:HE 6HUYHU GDV &RPPRQ *DWHZD\ ,QWHUIDFH

%HL GHQ EHLGHQ ��� 6NULSWHQ YRQ �� � KDQGHOW HV VLFK XP HLQ

6NULSW GDV GLH 6WLFKZRUWVXFKH GXUFKI KUW XQG GLH 7UHIIHUOLVWH DXV

JLEW XQG HLQHV GDV GLH )RUPDWLHUXQJ HUOHGLJW %HLGH 6NULSWH UXIHQ

DQGHUH 3URJUDPPH YRQ �� � DXI GLH GHQ ªVFKZLHULJHQ© 7HLO GHU $U

EHLW EHUQHKPHQ

��

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

More magazines by this user
Similar magazines