Bjarte M. Østvold
Bjarte M. Østvold
Norwegian Computing Center
Bestätigte E-Mail-Adresse bei nr.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Debugging method names
EW Høst, BM Østvold
ECOOP 2009–Object-Oriented Programming, 294-317, 2009
1522009
The programmer's lexicon, volume I: The verbs
EW Høst, BM Østvold
Source Code Analysis and Manipulation, 2007. SCAM 2007. Seventh IEEE …, 2007
972007
The Java programmer’s phrase book
EW Høst, BM Østvold
Software Language Engineering, 322-341, 2009
462009
Abstract rewriting
D Bert, R Echahed, BM Østvold
International Workshop on Static Analysis, 178-192, 1993
281993
Finding and fixing Java naming bugs with the Lancelot Eclipse plugin
EK Karlsen, EW Høst, BM Østvold
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
102012
Canonical Method Names for Java
EW Høst, BM Østvold
Software Language Engineering, 226-245, 2011
8*2011
A functional reconstruction of anti-unification
BM Østvold
Technical Report DART/04/04, Norwegian Computing, 2004
82004
Modelling of biomedical sensor networks using the Creol tools
W Leister, X Liang, J Klein, O Owe, F Kazemeyni, J Bjørk, BM Østvold, ...
72009
Automated Extraction of Abstract Behavioural Models from JMS Applications
E Albert, BM Østvold, J Rojas
Formal Methods for Industrial Critical Systems, 16-31, 2012
42012
A Hierarchical Variability Model for Software Product Lines
D Gurov, BM Østvold, I Schaefer
Leveraging Applications of Formal Methods, Verification, and Validation …, 2012
42012
Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
J Malenfant, BM Østvold
Springer, 2005
12005
Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach
L Aarhus, H Hegna, T Kristoffersen, W Leister, A Moen, BM Østvold
Proceedings 3Gwireless, 2002
12002
Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate.
W Leister, H Hegna, T Kristoffersen, L Aarhus, AM Hagalisletto, ...
SimVis, 147-160, 2002
2002
Inductive synthesis of recursive functional programs
BM Østvold
ACM SIGPLAN Notices 32 (8), 323, 1997
1997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14