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

ai.cs.uni.dortmund.de

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

+LOIVIXQNWLRQHQ

DWWULEXWH DOLVWH ZDQGHOW GLH DOLVWH LQ HLQH )RUP XP

GLH IXHU GLH DWWULEXWHV &KDUDNWHULVWLN HLQHV

)ORZ 2EMHFWV JHHLJQHW LVW

GHILQH DWWULEXWH DOLVWH

LI QXOO" DOLVWH

OLVW

FRQV OLVW FDU DOLVWH FDU FGU DOLVWH

DWWULEXWH FGU FGU DOLVWH

NLQG QXPPHU QRGH OLHIHUW GLH FKLOG QXPEHU LQ

IRUPDWLHUWHU )RUP

G K EHL .DSLWHOQ LP $QKDQJWHLO ZHUGHQ %XFKVWDEHQ YHUZHQGHW

VRQVW =LIIHUQ

GHILQH NLQG QXPPHU QRGH

OHW QXPPHU FKLOG QXPEHU QRGH

LI VWULQJ " JL QRGH .$3,7(/

LI QRGH OLVW "

DQFHVWRU $1+$1*7(,/

HPSW\ QRGH OLVW QLFKW LP $QKDQJ

IRUPDW QXPEHU QXPPHU

IRUPDW QXPEHU QXPPHU $

IRUPDW QXPEHU QXPPHU

DQFHVWRU NLQG QXPPHU VWULQJ QDPH

OLHIHUW GLH NLQG QXPPHU GHV QDHFKVWHQ

9RUIDKUHQ PLW GHP *, VWULQJ QDPH

GHILQH DQFHVWRU NLQG QXPPHU VWULQJ QDPH

NLQG QXPPHU DQFHVWRU VWULQJ QDPH

HOHPHQW QXPPHU QRGH

OLHIHUW GLH HOHPHQW QXPEHU GHV .QRWHQV LQ

IRUPDWLHUWHU DUDELVFKHU 6FKUHLEZHLVH

GHILQH HOHPHQW QXPPHU QRGH

OHW QXPPHU HOHPHQW QXPEHU QRGH

IRUPDW QXPEHU QXPPHU

7UHQQOLQLHQ

GHILQH FKDSVHSUXOH

PDNH HPSW\ HOHPHQW JL +5

DWWULEXWHV DWWULEXWH OLVW VL]H QRVKDGH

QRVKDGH

GHILQH IRRWVHSUXOH

PDNH HPSW\ HOHPHQW JL +5

DWWULEXWHV DWWULEXWH OLVW VL]H QRVKDGH

QRVKDGH ZLGWK

DOLJQ OHIW

=HLOHQXPEUXFK

GHILQH EU

PDNH HPSW\ HOHPHQW JL %5

���

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

More magazines by this user
Similar magazines