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

ai.cs.uni.dortmund.de

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

��

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

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

GLJ ZHQQ DP 'RNXPHQW RGHU GHQ 6XFKPXVWHUQ bQGHUXQJHQ YRU

JHQRPPHQ ZXUGHQ

$ PDNHLQGH[

1DPH

PDNHLQGH[ HU]HXJW HLQ 6WLFKZRUWYHU]HLFKQLV I U HLQH ���� ���

,QVWDQ]

$XIUXI

PDNHLQGH[ VJPO LQVWDQ] >QVJPOV SDUDPHWHU@

%HVFKUHLEXQJ

PDNHLQGH[ HU]HXJW HLQ 6WLFKZRUWYHU]HLFKQLV GDV MHGHP :RUW HLQHU

JHJHEHQHQ ,QVWDQ] GHQ :HUW GHV $WWULEXWV LQWHUQDO LG GHV XPJH

EHQGHQ (OHPHQWV ]XRUGQHW

%HQXW]XQJ

'HU 3DUDPHWHU VJPO LQVWDQ] LVW ]ZLQJHQG HUIRUGHUOLFK XQG JLEW

GHQ 'DWHLQDPHQGHU ,QVWDQ] DQ 'LH ZHLWHUHQ3DUDPHWHUZHUGHQ DQ QVJPOV ZHLWHUJHUHLFKW 'LH $XVJDEH HUIROJW DXI GHU 6WDQGDUG

DXVJDEH

$ HUJDHQ]H LGV

1DPH

HUJDHQ]H LGV I JW ��V LQ ���� ��� ,QVWDQ]HQ HLQ

$XIUXI

HUJDHQ]H LGV VJPO LQVWDQ] > R DXVJDEHGDWHL@ >MDGH SDUDPHWHU@

%HVFKUHLEXQJ

HUJDHQ]H LGV I JW LQ MHGHV (OHPHQW HLQHU JHJHEHQHQ ,QVWDQ] GDV

$WWULEXW LQWHUQDO LG PLW HLQHP HLQGHXWLJHQ :HUW HLQ

%HQXW]XQJ

'HU 3DUDPHWHU VJPO LQVWDQ] LVW ]ZLQJHQG HUIRUGHUOLFK XQG JLEW

GHQ 'DWHLQDPHQ GHU ,QVWDQ] DQ 0LW GHP RSWLRQDOHQ 3DUDPHWHU R

DXVJDEHGDWHL NDQQ GLH $XVJDEH LQ HLQH 'DWHL XPJHOHQNW ZHUGHQ

DQGHUQIDOOV HUIROJW GLH $XVJDEH DXI GHU 6WDQGDUGDXVJDEH 'LH ZHL

WHUHQ RSWLRQDOHQ 3DUDPHWHU ZHUGHQ GLUHNW DQ -DGH ZHLWHUJHOHLWHW

More magazines by this user
Similar magazines