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

ai.cs.uni.dortmund.de

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

WDUJHW HOHPHQW 'DV =LHOHOHPHQW EHL

GHU 6XFKH 'HU %H

JULII GHQ GHU %HQXW]HU

LQ GDV :HEIRUPXODU

HLQJLEW ZLUG LQ GLH

VHP (OHPHQW JHVXFKW

EHVFKUHLEXQJ 7H[WXHOOH %HVFKUHL

EXQJ GHU .DWHJRULH

GLH GXUFK GDV 6XFK

PXVWHU UHSUlVHQWLHUW

ZLUG

IRUP (QWKlOW ,QIRUPDWLR

QHQ EHU GLH )RUPX

ODUGDUVWHOOXQJ GHV

6XFKPXVWHUV

WH[WLQSXW %HZLUNW GD‰ I U GDV

6XFKPXVWHU HLQ 7H[W

HLQJDEHIHOG LP )RUPX

ODU HU]HXJW ZLUG 'HU

ZHUWHEHUHLFK Ol‰W VLFK

EHU GDV JOHLFKQD

PLJH $WWULEXW VWHXHUQ

VHOHFW %HZLUNW GD‰ I U GDV

6XFKPXVWHU HLQ $XV

ZDKOIHOG LP )RUPXODU

HU]HXJW ZLUG

RSWLRQ 6WHOOW HLQH RSWLRQ LQ

QHUKDOE HLQHV VHOHFW

(OHPHQWV GDU $OV :HUW

ZLUG GHU ,QKDOW GHV

(OHPHQWV EHQXW]W HV

VHL GHQQ GDV $WWULEXW

YDOXH EHUVFKUHLEW

GLHVHQ

$WRPH

7DEHOOH (OHPHQWW\SHQ YRQ 6XFKPXVWHUQ

(LQH EHVFKUHLEXQJ ]XU

$XVJDEH DXI GHU :HE

VHLWH GLH $QJDEH ZHO

FKHV )RUPXODUHOH

PHQW IRUP I U GDV

=LHOHOHPHQW JHQHULHUW

ZHUGHQ VROO XQG HLQH

RSWLRQDOH )ROJH YRQ

DWWULEXWHQ

7H[W 3&'$7$

(QWZHGHU WH[WLQSXW

RGHU VHOHFW

/HHU

(LQ RGHU PHKUHUH RS

WLRQHQ

7H[W 3&'$7$

8QWHU GHP %HJULII $WRP YHUVWHKH LFK KLHU GHQ VWUXNWXUHOOHQ .RQWH[W

HLQHV (OHPHQWV JHQDXHU HLQHV =LHOHOHPHQWV DXV HLQHP 6XFKPXVWHU

GHU KLQUHLFKHQG LVW XP DOOHLQVWHKHQG YHUVWDQGHQ ]X ZHUGHQ (V

KDQGHOW VLFK XP HLQ ]HQWUDOHV .RQ]HSW GLHVHU 'LSORPDUEHLW 0LW LKP

LVW GLH ,GHH YHUEXQGHQ XPIDQJUHLFKHV 7H[WPDWHULDO LQ NOHLQH 6W FNH

��

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

More magazines by this user
Similar magazines