A formal, declarative approach to data format description [Elektronische Ressource] / vorgelegt von Michael Hartle

TAgebFAndreasormal,agDeclarativten:e(FH)Approacrankfurthung:to16.DataM?hlh?user,FDarmstadtormathaelDescriptioninVMainomEinreicFJuniacderh2010bDr.ereicProf.her,InformatikD17derMicTHartleecorenhniscFhenamUnivTersit?tderDarmstadthgenehmigte7.Dissertation2010zuragErlangungDisputation:desJuliakReferenademiscProf.henMaxGradesDarmstadtDr.-Ing.Dr.vRauborgelegtWienv2010onDipl.-Inform.cierwEhrenMicwhab?rtlicternommen.he1Erkl?rungenen1habHiermitPromotionsverkl?reJuniic1h,derdiederverstelltorgelegteIcArbbishereitkzurhErlangungdendesDipl.-Inform.akHar-ademisc?9henPromotionsordnGradesDarmstadtDr.-Ing.endungmitangegebdemHilfsmittelTitelzuAen.Fhormal,eDeclarativnoehApproaceinenhersuctounDataDarmstadt,F7.ormat2010Descrip-(FH)tionhaelselbst?ndigtleundGem??ausscAbs.hlie?licderhungunTUterViideriiiderWissenscherhaftlicerbherhenWHoerdegang09/200602/2010desoppVdererfassers07/200407/20102e-learning09/199803/2003ulrecStudiumhenderGraduiertenkInformatikdurcanGem??derTUFecacersit?thhoecceiterhscterhhsculezenDarmstadtecAbscersit?thlussMitgliedmit1223Noteim1,3r?