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

ai.cs.uni.dortmund.de

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

ELEOLRWKHN!

DRFS

DRFS

DRFS

ELEOLRWKHN!

6RZHLW VWHOOW GLH ���� VHLWLJH %HKDQGOXQJ NHLQ 3UREOHP GDU (V LVW

DEHU QRFK ]X GLVNXWLHUHQ ZLH VLFK 6XFKPXVWHUGHILQLWLRQHQ XQG

����� 6NULSWH YHUKDOWHQ GLH I U GLH %XFK ��� JHVFKULHEHQ ZXUGHQ

XQG QXQ ]XVDPPHQ PLW GHU %LEOLRWKHN ��� HLQJHVHW]W ZHUGHQ ,Q

EHLGHQ )lOOHQ VLQG 6FKZLHULJNHLWHQ DXVJHVFKORVVHQ GLH GXUFK GLH

=XVDPPHQIDVVXQJ GHU ,QVWDQ]HQ LQ GHU EHVFKULHEHQHQ :HLVH KHU

YRUJHUXIHQ ZHUGHQ 'HU *UXQG EHVWHKW GDULQ GD‰ VLFK VRZRKO 6XFK

PXVWHU DOV DXFK ����� 6NULSWH DXI (OHPHQWH NRQ]HQWULHUHQ GLH ªXQ

WHQ© LQ GHU +LHUDUFKLH VWHKHQ ,P *HJHQVDW] ]X 6XFKPXVWHUQ NDQQ

PDQ LQ ����� ]ZDU JH]LHOW GLH :XU]HO DQVSUHFKHQ MHGRFK LVW DXFK

GDGXUFK NHLQ QHXHV 3UREOHP HQWVWDQGHQ 9LHOPHKU VWHOOHQ VLFK KLHU

)UDJHQ GLH DXFK EHL HLQ]HOQHQ ,QVWDQ]HQ DXIWUHWHQ 'LH 'LVNXVVLRQ

ZXUGH EHUHLWV LQ JHI KUW

$EVFKOLH‰HQG NDQQ PDQ IHVWVWHOOHQ GD‰ NHLQH 1RWZHQGLJNHLW EH

VWHKW HLQH EHVRQGHUH 8QWHUVW W]XQJ I U GLH %HKDQGOXQJ YRQ PHKUH

UHQ 'RNXPHQWHQ LQ �� � YRU]XVHKHQ 'LH 0LWWHO GLH ���� ��� EH

UHLWVWHOOHQ VLQG VRZRKO DXVUHLFKHQG DOV DXFK HLQIDFK JHQXJ XP LQ

�� � GHQ 6WDQGSXQNW HLQ]XQHKPHQ GD‰ PDQ JUXQGVlW]OLFK JHQDX

HLQ 'RNXPHQW YRU VLFK KDW

.RQIRUPLWlW ]X 6WDQGDUGV

'LH )UDJH LQ ZLH ZHLW �� � NRQIRUP ]X GHQ YHUVFKLHGHQHQ 6WDQ

GDUGV LVW LVW UHODWLY OHLFKW ]X EHDQWZRUWHQ 'D LFK I U GHQ =XJULII DXI

,QVWDQ]HQ XQG GLH ,QWHUSUHWDWLRQ YRQ ����� 6W\OHVKHHWV H[WHUQH 3UR

JUDPPH YHUZHQGH OHLWHW VLFK GLH .RQIRUPLWlW GLUHNW DXV GHQ (LJHQ

VFKDIWHQ GLHVHU 3URJUDPPH DE

6RZHLW HV GDV 3DUVLQJ YRQ ���� ��� EHWULIIW LVW LQ �� � GXUFK GLH

%HQXW]XQJ GHU 3URJUDPPH QVJPOV XQG MDGH GLH EHVWP|JOLFKH (LQ

KDOWXQJ GHU HQWVSUHFKHQGHQ 6WDQGDUGV JHZlKUOHLVWHW GLHV VLQG

>��� @ XQG >� � �@ (LQH HLJHQH 6\VWHP 'HNODUDWLRQ I U �� � LVW

QLFKW Q|WLJ LPSOL]LW YHUZHQGHW GDV 6\VWHP GLH HQWVSUHFKHQGH 'HNOD

UDWLRQ GHV 3DUVHUV KWWS ZZZ MFODUN FRP VS V\VGHFO KWP

%HL GHU %HKDQGOXQJ YRQ 6XFKPXVWHUQ LVW GDUDXI ]X DFKWHQ GD‰ GDV

3URJUDPP &RVW FDVH LQVHQVLWLYH DUEHLWHW 'LHVHV 9HUKDOWHQ HQW

VSULFKW GHU 5HIHUHQFH &RQFUHWH 6\QWD[ YRQ ���� ��� LVW MHGRFK

FDVH VHQVLWLYH 'HU $XWRU YRQ &R67 -RH (QJOLVK DUEHLWHW ]XU =HLW DQ

HLQHU $NWXDOLVLHUXQJ GLH ��� NRQIRUP VHLQ ZLUG 6RIHUQ HU GDEHL

NHLQH bQGHUXQJHQ DP 9HUKDOWHQ VHLQHV 3URJUDPPV HLQEDXW VROOWHQ

PHLQH 3URJUDPPH XQPLWWHOEDU ODXIIlKLJ VHLQ

��

��������

More magazines by this user
Similar magazines