Journal: it - Information Technology

Volume 40, Issue 3

5 -- 6Franz J. Rammig. Editorial: Systemspezifikation - Methoden, Werkzeuge und Anwendungen
7 -- 12Rainer Dömer, Daniel D. Gajski, Jianwen Zhu. Specification and Design of Embedded Systems
13 -- 17Werner Grass, Thomas Kropf, Matthias Mutz. Formale Methoden bei der Spezifikation von Hardware
18 -- 22Dieter Monjau, Karlheinz Agsteiner, Sören Schulze. Wissensbasierte Methoden für die Spezifikation und den Entwurf von Systemen
23 -- 26Christoph Grimm, Klaus Waldschmidt. Spezifikation analog/digitaler Systeme
27 -- 31Wolfgang Nebel, Carl von Ossietzky. Wiederverwertbarkeit durch objektorientierte Hardwaremodellierung
32 -- 36Wolfgang Müller 0003, Jörgen Sturm. Visuelle Spezifikations- und Modellierungstechniken
37 -- 41Wolfgang Ecker, Yvonne Fritzsch, Viktor Preis. Reuse-Potentiale im Hardware-Entwurf
51 -- 52. übrigens... kaufe ich nicht im Internet ein!