Aarhus Universitets logo
English
Tilbage til søgning
Begræns yderligere ved at vælge et eller flere af følgende emneord...
Indlejrede systemer, Kommunikationsprotokoller og netværk, Pervasive healthcare, Softwaresystemer for pervasive computing
Brugerdeltagelse i systemudvikling (participatory design), Distribuerede softwaresystemer, Eksperimentel systemudvikling, Fleksibilitet i design, Hypermedier, Mobile systemer og grænseflader, Softwaresystemer for pervasive computing, Webteknologi
Arbejde, organisation og it, Brugerdeltagelse i systemudvikling (participatory design), Design og systemudvikling, Design som læring, Designprocesser, Eksperimentel systemudvikling, Forståelig teknologi, Interaktionsdesign, Interaktionsformer, It-baserede videnarbejdspladser, It-støtte til samarbejde, CSCW, Menneske-maskin-interaktion, Systemudviklingsmetoder, Teorier om brug og interaktion
Distribuerede softwaresystemer, Eksperimentel systemudvikling, Softwarearkitektur, Undervisning i programmering og softwareudvikling
Brugerdeltagelse i systemudvikling (participatory design), Eksperimentel systemudvikling, Forståelig teknologi, Interaktive rum, bygninger og byrum, It-støtte til samarbejde, CSCW, Objekt-orienteret programmering, Softwaresystemer for pervasive computing, Spatial it
Domain-specifikke sprog, Funktionel programmering, Global computing, Kompilere og fortolkere, Modeller og logik for interaktive systemer, Moderne logik, Objekt-orienterede programmeringssprog, Objekt-orienteret programmering, Partial-evaluering og normalisering, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Semantik af programmeringssprog, Softwareudviklingsværktøjer, Teknologi med læringspotentiale, Type-systemer, Undervisning i programmering og softwareudvikling, Videnskabsteori, Virtuelle/abstrakte maskiner, Værktøjer baseret på partiel evaluering
Kompilere og fortolkere, Programanalyse og -transformationer, Programmeringssprog og formelle modeller
Augmented reality, Brugerdeltagelse i systemudvikling (participatory design), Design og systemudvikling, Digitale og fysiske rum, Eksperimentel systemudvikling, Hypermedier, Interaktionsdesign, Interaktionsformer, Interaktive rum, bygninger og byrum, Menneske-maskin-interaktion, Mobile systemer og grænseflader, Multimedier, Oplevelsesorienteret it, Pervasive computing (it i alting), Pervasive computing interaktion, Spatial it, Webteknologi
Eksperimentel systemudvikling, Kapacitetsplanlægning, Modeldrevet systemudvikling, Modellering og validering af distribuerede systemer (Farvede Petri Net), Programmeringssprog og formelle modeller, Simulations- og analyseværktøjer, Softwarespecifikation og -verifikation
Distribuerede softwaresystemer, Objekt-orienterede programmeringssprog, Objekt-orienterede softwaresystemer, Objekt-orienteret analyse og design, Objekt-orienteret modellering, Objekt-orienteret programmering, Softwarearkitektur, Softwaresystemer for pervasive computing, Softwareudviklingsværktøjer, Virtuelle/abstrakte maskiner
Kompilere og fortolkere, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Softwarespecifikation og -verifikation, Webteknologi
Digital kunst, netkunst, softwarekunst, Distribuerede softwaresystemer (Parallelprogrammering), Videnskabelige beregninger (Parallelprogrammering)
Algebraiske og talteoretiske algoritmer, Datasikkerhed, Distribuerede softwaresystemer, Kryptografiske protokoller, Kryptologi, Public-key-kryptering, Spilteori
Datasikkerhed, Distribuerede softwaresystemer, Kommunikationsprotokoller og netværk, Kryptografiske protokoller, Kryptologi, Kryptologi, Public-key-kryptering
Design og analyse af algoritmer og datastrukturer, Formal methods , Formal verification , Softwarespecifikation og -verifikation