|
Universitetet i Bergen : Doktorgrader : 2000 NY DOKTORGRAD Analyse av distribuerte systemerPeter Csaba Ölveczky disputerer mandag 18. desember 2000 for dr.scient.-graden ved Universitetet i Bergen med avhandlingen:"Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic" Avhandlingen tar utganspunkt i et eksisterende rammeverk (Rewriting Logic utviklet ved SRI International i Menlo Park) for beskrivelse og analyse av distribuerte systemer. Slike beskrivelsesmekanismer tillater en mer systematisk og oversiktlig fremgangsmåte ved utvikling av konkrete programmer hvis kompleksitet ellers ville overstige våre muligheter til å analysere deres korrekthet og virekmåte. I sin forskning, gjennomført hovedsakelig i Tyskland og USA, har Peter Ölveczky samarbeidet med grunnleggere og sentrale forskere innen Rewriting Logic. Avhandlingen utvider Rewriting Logic med muligheter for beskrivelse og analyse av måter nettverk av distribuerte objekt kan modellere virkemåte og tidsforløp av virkelige prosesser i tid. Personalia: Tidspunkt og sted for disputasen: Kontaktpersoner: |