Tematyka Konferencji

 
1
 Metody analizy i specyfikacji wymagań dla systemów czasu rzeczywistego.
2
 Metody projektowania oprogramowania.
3
 Metody formalne w inżynierii systemów czasu rzeczywistego.
4
 Metody osiągania i oceny bezpieczeństwa systemów czasu rzeczywistego.
5
 Narzędzia CASE dla systemów czasu rzeczywistego.
6
 Języki programowania i systemy operacyjne czasu rzeczywistego.
7
 Normalizacja, ocena jakości i atestacja oprogramowania.
8
 Zastosowania przemysłowe i wojskowe systemów czasu rzeczywistego (systemy dyspozytorskie, wspomaganie dowodzenia, systemy transportowe, komunikacyjne, itp.).
9
 Zagadnienia organizacyjne i prawne związane z wytwarzaniem i eksploatacją oprogramowania systemów czasu rzeczywistego.
SCR 2000  
 
 
Prosimy o rozpropagowywanie informacji o Konferencji SCR 2000 - sugerujemy skorzystanie z przygotowanego formularza  
Jeżeli chcecie być Państwo powiadamiani o umieszczeniu w witrynie nowych informacji, to prosimy o wiadomość  
Systemy Czasu Rzeczywistego 2000
scr2000@agh.edu.pl
Ostatnia modyfikacja: 7 września 2001
Projekt i opracowanie: (c) Radosław Klimek
[an error occurred while processing this directive]