Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-prosjekt-ID:
546599
Sist endret:
12. januar 2024, 12:14
Historikk
Cristin-prosjekt-ID:
546599
Sist endret:
12. januar 2024, 12:14
prosjektlederhistorikk
1. jan. 2017
-
26. jul. 2017
:
Rohit Gheyi, UFCG
Prosjekt
Modern Refactoring
prosjektleder
prosjektleder
Volker Stolz
ved Høgskulen på Vestlandet
prosjekteier / koordinerende forskningsansvarlig enhet
prosjekteier / koordinerende forskningsansvarlig enhet
Høgskulen på Vestlandet
Finansiering
Finansiering
Totalbudsjett
NOK 1.193.660
Direktoratet for internasjonalisering og kvalitetsutvikling i høgare utdanning
Prosjektkode: UTF-2018-CAPES-DIKU/10001
SiU, Senter for internasjonalisering av utdanning
Prosjektkode: UTF-2016-CAPES-SIU/10032
Klassifisering
Klassifisering
Vitenskapsdisipliner
Teoretisk databehandling, programmeringsspråk og -teori
Kategorier
Kategorier
Prosjektkategori
Bidragsprosjekt
Grunnforskning
Kontaktinformasjon
Kontaktinformasjon
hvl.no vsto
ict.hvl.no/modern-refactoring/
Volker Stolz
Tidsramme
Tidsramme
Avsluttet
Start:
1. januar 2017
Slutt:
31. desember 2021
Beskrivelse
Beskrivelse
Engelsk
Tittel
Modern Refactoring
prosjektdeltakere
prosjektdeltakere
prosjektleder
Volker Stolz
Prosjektleder
ved Høgskulen på Vestlandet
Melina Mongiovi
Prosjektdeltaker
ved Universidade Federal de Campina Grande
Márcio Ribeiro
Prosjektdeltaker
ved Universidade Federal de Alagoas
Daniel Schnetzer Fava
Prosjektdeltaker
ved Institutt for informatikk ved Universitetet i Oslo
Angela Barriga Rodriguez
Prosjektdeltaker
ved Høgskulen på Vestlandet
1
-
5
av
12
|
Neste
|
Siste »
Resultater
Resultater
Formal Methods: Foundations and Applications.
Carvalho, Gustavo; Stolz, Volker. 2020, Springer. UFdP, HVL
Vitenskapelig antologi/Konferanseserie
Refactoring and Active Object Languages.
Stolz, Volker; Pun, Ka I; Gheyi, Rohit. 2020, Lecture Notes in Computer Science (LNCS). UFCG, HVL
Vitenskapelig artikkel
Ready, set, Go! Data-race detection and the Go language.
Fava, Daniel Schnetzer; Steffen, Martin. 2020, Science of Computer Programming. UIO
Vitenskapelig artikkel
Can we rely on a software-defined society? The role of formal methods.
Stolz, Volker. 2018, HVL
Programdeltagelse
Analyzing Changes on Configurable Systems with #ifdefs.
Braz, Larissa; Gheyi, Rohit; Stolz, Volker; Ribeiro, Márcio. 2017, UIO, HVL
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
1
-
5
av
6
|
Neste
|
Siste »