Hopp til hovedinnhold
Universitetet i Bergen
Meny
Utdanning
Forskning
Innovasjon
Bibliotek
For studenter
For ansatte
Om UiB
English
Norsk
Lukk
Søkefelt
Filtrer på innhold
Alt innhold
Nyheter
Studier
Arrangementer
Personer
Ansattsider
Choose what results to return
Utdanning
Forskning
Innovasjon
Bibliotek
For studenter
For ansatte
Om UiB
Programutviklingsteori
Forskning
Research activities
Conferences and workshops
Prosjekter
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Safer Refactorings with Assertions
Publikasjoner
Publications
Kontakt
Kontaktinformasjon
Medlemmer
Forskning
Research activities
Conferences and workshops
Prosjekter
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Safer Refactorings with Assertions
Publikasjoner
Publications
Kontakt
Kontaktinformasjon
Medlemmer
Varselmelding
There has not been added a translated version of this content. You can either try
searching
or go to the
"area"
home page to see if you can find the information there
UiB
NT
II
Programutviklingsteori
Completed projects
Completed projects developed by the group (2000 onwards).
Hovedinnhold
MoSIS: Modularity in large Software and Information Systems
, 2002-2006
SAGA: Scientific Computing with Algebraic and Generative Abstractions
15.01.2010
