User: Guest  Login
Document type:
Technical Report 
Author(s):
Katharina Spies 
Title:
Eine Methode zur formalen Modellierung von Betriebssystemkonzepten 
Abstract:
Focus umfasst allgemeine Konzepte, Beschreibungs- und Verfeinerungstechniken zur Top-Down-Entwicklung verteilter, reaktiver Systeme. Mit seiner praezisen, formalen Basis ist Focus ueberall dort einsetzbar, wo ein System als Netz von interagierenden Komponenten modelliert werden kann. Betriebssysteme sind langlebige Softwareprodukte, die von grösster Wichtigkeit und fuer die Nutzung von Rechensystemen unverzichtbar sind. Sie sind Systeme mit einer grossen Anzahl interagierender Komponenten und bi...    »
 
Keywords:
Focus; Betriebssysteme; formale Methode; Spezifikationsentwicklung; dynamische Systeme; Modellierung 
Year:
1998 
Year / month:
1998-06-01 00:00:00 
Pages:
199