Bjarte M. Østvold

Learn More
Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving programmers with little or no support in assuring meaningful names. In this paper, we show that naming conventions can go much further: we can mechanically check whether or not a method name and(More)
The Lancelot plugin extends the integrated development environment Eclipse with support for finding and fixing 'naming bugs' in Java programs. A naming bug is a mismatch between the name and implementation of a method, in the sense that the pairing of name and implementation do not correspond to the implicit method naming conventions used by many well-known(More)
Distributed systems are hard to program, understand and analyze. Two key sources of complexity are the many possible behaviors of a system, arising from the parallel execution of its distributed nodes, and the handling of asynchronous messages exchanged between nodes. We show how to systematically construct executable models of publish/subscribe systems(More)
A key challenge in software product line engineering is to represent solution space variability in an economic, yet easily understandable fashion. We introduce the notion of hierarchical variability models to describe families of products in a manner that facilitates their modular design and analysis. In this model, a family is represented by a common set(More)
Joakim Bjørk is a PhD student at the University of Oslo. He received his cand. scient. degree in 2006. His research interests cover modelling and analysis of concurrent systems. Rudi Schlatte is researcher at the University of Oslo, after recently having finished his PhD studies at Graz University of Technology. He received a master degree in Telematics in(More)
Norsk Regnesentral (Norwegian Computing Center, NR) is a private, independent , non-profit foundation established in 1952. NR carries out contract research and development projects in the areas of information and communication technology and applied statistical modelling. The clients are a broad range of industrial , commercial and public service(More)