Titel:

Entwurf hochzuverlässiger Software in der Praxis

Inhaltsverzeichnis dieser Publikation

• Software Measures in the Software Design Phase
  H. Zuse
  Detaillierter Eintrag in der DGLR-Publikationsdatenbank
  Vortrag mit eigener Zählung
  
• Eine Fünf-Schritte-Methode für metrik-basierte Software-Evaluierung und -Zertifizierung
  D. Welzel, H.-L. Hausen
  Detaillierter Eintrag in der DGLR-Publikationsdatenbank
  Vortrag mit eigener Zählung
  
• Einsatz formaler Sprachen bei der Entwicklung sicherheitsrelevanter Software-Systeme am Beispiel der Entwicklung einer Brennersteuerung mit der SDL-Entwicklungsumgebung GEODE
  R. Faller, J. Windpassinger
  Detaillierter Eintrag in der DGLR-Publikationsdatenbank
  Vortrag mit eigener Zählung
  
• Mathematisch rigorose Programmkonstruktion: einige praktische Erfahrungen
  R.L. Baber
  Detaillierter Eintrag in der DGLR-Publikationsdatenbank
  Vortrag mit eigener Zählung
  
• Specification of the Tornado Maincomputer Software Requirements using Structured Analysis with Real-Time Extension
  F. Hupke, W. Kleih
  Detaillierter Eintrag in der DGLR-Publikationsdatenbank
  Vortrag mit eigener Zählung
  
• CARE, Cleanroom für das Requirements Engineering
  T. Rottke
  Detaillierter Eintrag in der DGLR-Publikationsdatenbank
  Vortrag mit eigener Zählung
  
• Entwurf von Software für technische Systeme mit Z und Statemate
  H. Dörr
  Detaillierter Eintrag in der DGLR-Publikationsdatenbank
  Vortrag mit eigener Zählung
  
• Eine hochverläßliche Rechenarchitektur für sicherheitskritische Steuer- und Regelanwendungen
  B.J. Krämer, N. Völker
  Detaillierter Eintrag in der DGLR-Publikationsdatenbank
  Vortrag mit eigener Zählung