Παρακολούθηση
Bjarte M. Østvold
Bjarte M. Østvold
Norwegian Computing Center
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα nr.no - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Debugging method names
EW Høst, BM Østvold
ECOOP 2009–Object-Oriented Programming, 294-317, 2009
2232009
The programmer's lexicon, volume I: The verbs
EW Høst, BM Østvold
Source Code Analysis and Manipulation, 2007. SCAM 2007. Seventh IEEE …, 2007
1142007
The Java programmer’s phrase book
EW Høst, BM Østvold
Software Language Engineering, 322-341, 2009
532009
Abstract rewriting
D Bert, R Echahed, BM Østvold
Static Analysis: Third International Workshop, WSA'93 Padova, Italy …, 1993
301993
Assessing software privacy using the privacy flow-graph
F Tang, BM Østvold
Proceedings of the 1st International Workshop on Mining Software …, 2022
112022
Stakeholder journey analysis for innovation: A multiparty analysis framework for startups
JE Hannay, KS Fuglerud, BM Østvold
International Conference on Human-Computer Interaction, 370-389, 2020
102020
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
9*2011
A functional reconstruction of anti-unification
BM Østvold
Technical Report DART/04/04, Norwegian Computing, 2004
92004
A Hierarchical Variability Model for Software Product Lines
D Gurov, BM Østvold, I Schaefer
Leveraging Applications of Formal Methods, Verification, and Validation …, 2012
82012
Modelling of biomedical sensor networks using the Creol tools
W Leister, X Liang, S Klüppelholz, J Klein, O Owe, F Kazemeyni, J Bjørk, ...
July 31, date, 2009
82009
Report on the Core ABS Language and Methodology: Part A
R Hähnle, EB Johnsen, BM Østvold, J Schäfer, M Steffen, AB Torjusen
Highly Adaptable and Trustworthy Software using Formal Models (HATS …, 2010
52010
Public review of e-voting source code: Lessons Learnt from E-vote 2011
BM Østvold, EK Karlsen
Norsk informatikkonferanse, 2012
42012
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
An abstract machine approach to preserving digital information
I Rummelhoff, E Gutiérrez, T Kristoffersen, O Liabø, BM Østvold, O Plata, ...
IEEE Access 9, 154914-154932, 2021
32021
Stakeholder perceptions on requirements for accessible technical condition information in residential real estate transactions
JE Hannay, KS Fuglerud, BM Østvold
International Conference on Human-Computer Interaction, 242-259, 2022
22022
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, B Østvold
Proceedings 3Gwireless, San Francisco (CA, USA), 2002
12002
Inductive synthesis of recursive functional programs
BM Østvold
ACM SIGPLAN Notices 32 (8), 323, 1997
11997
Eliciting and Prioritizing Services for Accessible Information: For Residential Real Estate Transactions
JE Hannay, KS Fuglerud, BM Østvold
International Conference on Human-Computer Interaction, 378-395, 2022
2022
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20