Blar i NR vitenarkiv på forfatter "Østvold, Bjarte M."
-
A functional reconstruction of anti-unification
Østvold, Bjarte M. (NR-notat;, Research report, 2004)In 1970 both Plotkin and Reynolds defined the anti-unification of a set of literal clauses, that is, atomic formulas or negated atomic formulas. They gave similar imperative anti-nification algorithms and proved the ... -
R2030: Digitaliseringsvennlig regelverk. Metoder for regelverksforenkling, med eksempler fra bruksforskriften
Stolpe, Audun; Kristoffersen, Thor O.; Østvold, Bjarte M. (NR-notat;, Research report, 2023)Digitalisering av regelverk gir effektiviseringsgevinster gjennom utvikling av digitale tjenester. For at et regelverk skal kunne digitaliseres effektivt, er det viktig å sørge for at reglene er så enkle som mulige og at ... -
Stakeholder Journey Analysis for Innovation: A Multiparty Analysis Framework for Startups
Hannay, Jo Erskine; Fuglerud, Kristin Skeide; Østvold, Bjarte M. (Peer reviewed; Journal article, 2020)When analysing how the information-technological innovation of a startup company is perceived to affect the market, we encountered challenges when using existing customer journey analysis frameworks. In particular, we ...