Ausgabe 4/2008
Inhalt (5 Artikel)
Original Paper
Matching object catalogues
Luiz André P. Leme, Daniela F. Brauner, Karin K. Breitman, Marco A. Casanova, Alexandre Gazola
Original Article
From algebraic semantics to denotational semantics for Verilog
Huibiao Zhu, Jifeng He, Jonathan P. Bowen
Original Paper
Genesys: service-oriented construction of property conform code generators
Sven Jörges, Tiziana Margaria, Bernhard Steffen