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

ai.cs.uni.dortmund.de

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

���

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

'D HLQH $QZHQGXQJ LQ �� � QRUPDOHUZHLVH PHKU DOV HLQ 6XFKPX

VWHU EHQ|WLJW PX‰ HV HLQ (OHPHQW JHEHQ GDV PHKUHUH (OHPHQWH YRP

7\S VXFKPXVWHU DXIQHKPHQ NDQQ =X GLHVHP =ZHFN KDEH LFK IRO

JHQGH ��� JHVFKULHEHQ GLH OHGLJOLFK GDV :XU]HOHOHPHQW

LS Z SURMHFW GHNODULHUW ) U GHQ PRGXODUHQ $XIEDX GHU ���V KDEH

LFK PLFK HQWVFKLHGHQ XP ]XN QIWLJH bQGHUXQJHQ ]X EHJ QVWLJHQ

'7' I U GDV 6\VWHP ,3 :

7HLO HLQHU 'LSORPDUEHLW DP

/HKUVWXKO I U . QVWOLFKH ,QWHOOLJHQ]

)DFKEHUHLFK ,QIRUPDWLN

8QL 'RUWPXQG

*HUPDQ\

F 6WHIDQ 0LQWHUW

%HQXW]XQJ

'2&7���� @ XQG >���� @ LVW MHGRFK DXFK

JHHLJQHW DQGHUH 6FKULIWHQ GHV JOHLFKHQ 7\SV ]X EHVFKUHLEHQ =X

VDPPHQ PLW GLHVHU ��� ODVVHQ VLFK GLH ELVKHU XPJHZDQGHOWHQ .DSL

WHO IHKOHUIUHL YHUDUEHLWHQ LQVEHVRQGHUH HLQZDQGIUHLHV 3DUVLQJ 'HQ

QRFK LVW GLHVH ��� DOV XQYROOVWlQGLJ DQ]XVHKHQ GD GLH QRFK

IHKOHQGHQ .DSLWHO I U LKUHQ (QWZXUI QLFKW KHUDQJH]RJHQ ZHUGHQ

NRQQWHQ

'LH ��� VWHOOW NHLQH EHVRQGHUHQ $QIRUGHUXQJHQ DQ GLH ���� 'HNOD

UDWLRQ %HLP 3DUVLQJ PLW QVJPOV KDEH LFK GLH LPSOL]LWH 6\VWHP 'H

NODUDWLRQ GHV 3DUVHUV YHUZHQGHW VLHKH ZZZ MFODUN FRP 6ROOHQ GLH

,QVWDQ]HQ DOV ��� ,QVWDQ]HQ EHWUDFKWHW ZHUGHQ VR LVW OHGLJOLFK GLH

More magazines by this user
Similar magazines