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

ai.cs.uni.dortmund.de

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

��

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

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

EHUI KUHQ GLH GDQQ QXU PLW GHP 3UlIL[ TXHU\" YHUVHKHQ DXVJH

I KUW ZHUGHQ

'LH P|JOLFKHQ )lOOH EHL GHU 6XFKH 8PJHEXQJVSU IXQJ ZHUGHQ QXQ

IROJHQGHUPD‰HQ EHKDQGHOW

.HLQ 7UHIIHU EHL GHU 6WLFKZRUWVXFKH

'HU %HQXW]HU HUKlOW HLQH HQWVSUHFKHQGH 5 FNPHOGXQJ

7UHIIHU EHL GHU 6WLFKZRUWVXFKH LQ GHU ULFKWLJHQ 8PJHEXQJ

'HU %HQXW]HUHUKlOW HLQH .XU]DQVLFKWGHU 7UHIIHU ���� 7UHIIHUOL

VWH XQG NDQQ GDUDXV DXVZlKOHQ

7UHIIHU EHL GHU 6WLFKZRUWVXFKH DEHU QLFKW LQ GHU ULFKWLJHQ

8PJHEXQJ

'HU %HQXW]HU HUKlOW HLQH 0HOGXQJ GDU EHU GD‰ HV 7UHIIHU DX‰HU

KDOEGHUYRQLKPJHZlKOWHQ .DWHJRULHJDE (U NDQQGDQQHLQH 6XFKH RKQH .DWHJRULH DXVI KUHQ

(UPLWWOXQJ GHV $WRPV

:XUGH HLQ 7UHIIHU LQ GHU ULFKWLJHQ 8PJHEXQJ JHIXQGHQ VR HUPLWWHOW

VHDUFK DWRPV FRVW GDV ]XJHK|ULJH $WRP :LH EHUHLWVIUKHUDXVJH I KUW VWLPPHQ $WRPH XQG 6XFKPXVWHU LQ GHU YRUOLHJHQGHQ ,PSOH

PHQWDWLRQ YRQ �� � EHUHLQ $XV GLHVHP *UXQG ZLUG DOV $WRP XQ

PLWWHOEDU GDV (OHPHQW ]XU FNJHOLHIHUW GDV EHL GHU 8PJHEXQJV

SU IXQJ DOV lX‰HUVWHV (OHPHQW JHIXQGHQ ZXUGH

,QWHUHVVDQW LVW QRFK GLH )UDJH ZDV SDVVLHUW ZHQQ HLQH 6XFKH RKQH

.DWHJRULH DOVR RKQH 6XFKPXVWHU GXUFKJHI KUW ZLUG ,Q GLHVHP )DOO

ZLUG MHGHU 7UHIIHU DOV LQ GHU ULFKWLJHQ 8PJHEXQJ EHILQGOLFK DQJHVH

KHQ ) U GLH (UPLWWOXQJ GHV $WRPV YHUZHQGH LFK LQ GLHVHP )DOO IRO

JHQGH +HXULVWLN $XVJHKHQG YRQ GHP =LHOHOHPHQW GDV GHQ JHVXFK

WHQ %HJULII HQWKlOW JHKH LFK LQ GHU (OHPHQWKLHUDUFKLH VR ZHLW QDFK

REHQ ELV LFK DXI HLQ (OHPHQW WUHIIH GDV NHLQHQ JHPLVFKWHQ ,QKDOW

PL[HG FRQWHQW HQWKlOW 8PJDQJVVSUDFKOLFK KHL‰W GDV LFK VXFKH HL

QHQ 9RUIDKUHQ GHU VHOEVW NHLQHQ 7H[W VRQGHUQ QXU .LQGHOHPHQWH

HQWKlOW (LQ VROFKHV (OHPHQW ZLUG DXFK DOV &RQWDLQHU (OHPHQW EH

]HLFKQHW &RQWDLQHU (OHPHQWH VLQG DOV 9RUJDEHDWRPH JHHLJQHW GD

PHLQH %HWUDFKWXQJ YHUVFKLHGHQHU 'RNXPHQWW\SHQ ]HLJW GD‰ &RQWDL

QHU PHLVW 'RNXPHQWWHLOH HQWKDOWHQ GLH DXFK DOOHLQVWHKHQG YHUVWlQG

OLFK VLQG 'D GLH 6XFKH RKQH .DWHJRULH HLQH $XVQDKPH GDUVWHOOW LVW

GLHVH +HXULVWLN PHLQHU 0HLQXQJ QDFK DGlTXDW ZDV DXFK GXUFK GLH

EHWUDFKWHWHQ $QZHQGXQJVEHLVSLHOH XQWHUVW W]W ZLUG

*HQHULHUXQJ GHU ���� 7UHIIHUOLVWH

=X MHGHP JHIXQGHQHQ $WRP HU]HXJW VHDUFK DWRPV FRVW DXFK GLH

���� $XVJDEH I U GLH 7UHIIHUOLVWH 'DEHL KDQGHOW HV VLFK XP HLQH 7D

EHOOH GLH LQ MHGHU =HLOH HLQHQ 7UHIIHU HQWKlOW -HGH =HLOH EHVLW]W HLQH

More magazines by this user
Similar magazines