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

ai.cs.uni.dortmund.de

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

��

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

$EELOGXQJ 'LH $QPHOGXQJ HLQHV QHXHQ 'RNXPHQWV

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

6FKULWW 0RGLILNDWLRQ GHU JHQHULHUWHQ +70/

'DWHL

%HUHLWV GHU LP OHW]WHQ 6FKULWW HUUHLFKWH =XVWDQG LVW YROO IXQNWLRQVIl

KLJ ,P 'RNXPHQWYHU]HLFKQLV EHILQGHQ VLFK QXQ ]ZHL 'DWHLHQ LQ

GH[ KWPO XQG IRUPXODU KWPO (V LVW JlQJLJH 3UD[LV GD‰ GLH 9RUJDEH

VHLWH I U HLQ 9HU]HLFKQLV LQGH[ KWPO KHL‰W :HQQ PDQ QXQ PLW HLQHP

:HE %URZVHU DXI GDV 'RNXPHQW ]XJUHLIW VR ZLUG GLHVH 6HLWH DXVJH

OLHIHUW (V KDQGHOW VLFK XP GHQ IROJHQGHQ )UDPHVHW 'LH $QVLFKW LP

:HE %URZVHU ]HLJW $EELOGXQJ

'2&7

More magazines by this user
Similar magazines