it - Information Technology - researchr journal

5	--	6	Manfred Broy. Editorial: Formale Methoden in der Praxis
7	--	14	Stefan Jähnichen, Matthias Weber. Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme
15	--	21	Wolfram Büttner. Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme
22	--	28	Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog. Beweisbar korrekte Telekommunikationssysteme
29	--	33	Michael Eckrich, Maximilian Fuchs. Semiformale Entwurfsmethoden bei BMW
34	--	40	Wolfgang Reif. Software-Verifikation und ihre Anwendungen
41	--	47	Hans Langmaack. Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit
57	--	58	. übrigens... Zur Informatik der Urteilskraft

External Links