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

ai.cs.uni.dortmund.de

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

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

$EELOGXQJ 'DV (UJHEQLV GHU ]ZHLWHQ 6XFKH QDFK ªDWWOLVW© LQ GHU

.DWHJRULH ª��� 6\QWD[UHJHOQ©

1XQ EHILQGHQ VLFK LP :DUHQNRUE ]ZHL $WRPH XQWHUVFKLHGOLFKHU .D

WHJRULHQ GLH GDV (UJHEQLV YRQ ]ZHL XQDEKlQJLJHQ 6XFKYRUJlQJHQ

VLQG 8P VLH ]XVDPPHQ DQ]HLJHQ ]X ODVVHQ JHQ JW HLQ .OLFN DXI GHQ

/LQN ªJHPHUNWH $XVVFKQLWWH ]HLJHQ© LP 6WHXHUUDKPHQ 'HU %URZVHU

]HLJW DQVFKOLH‰HQG GLH $QVLFKW LQ $EELOGXQJ +LHU LVW ]X EHPHU

NHQ GD‰ EHL GHU )RUPDWLHUXQJ GHU JHPHUNWHQ $XVVFKQLWWH GLH 6FKDO

WHU ]XU $XVVFKQLWWZDKO XQWHUGU FNW ZHUGHQ XP GDV ªIHUWLJH© 'RNX

PHQW GUXFNHQ ]X N|QQHQ 'LH $XVVFKQLWWH EHKDOWHQ LKUH 5HLKHQIROJH

DXV GHP 8UVSUXQJVGRNXPHQW XQDEKlQJLJ GDYRQ LQ ZHOFKHU 5HL

KHQIROJH VLH JHIXQGHQ ZXUGHQ

��

More magazines by this user
Similar magazines