Olaf Owe
Olaf Owe
Professor, Department of Informatics, University of Oslo
Geverifieerd e-mailadres voor ifi.uio.no - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
An asynchronous communication model for distributed concurrent objects
EB Johnsen, O Owe
Software & Systems Modeling 6 (1), 39-58, 2007
2562007
An Asynchronous Communication Model for Distributed Concurrent Objects
EB Johnsen, O Owe
Software & Systems Modeling 6 (1), 39–58, 2007
2562007
An Asynchronous Communication Model for Distributed Concurrent Objects
EB Johnsen, O Owe
Journal of Software and Systems Modeling 6 (1), 39–58, 0
256*
Creol: A type-safe object-oriented model for distributed concurrent systems
EB Johnsen, O Owe, IC Yu
Theoretical Computer Science 365 (1-2), 23-66, 2006
1492006
Anna a language for annotating ada programs: Reference manual
DC Luckham, FW von Henke, B Krieg-Brückner, O Owe
Springer Science & Business Media, 1987
1321987
Partial logics reconsidered: A conservative approach
O Owe
Formal Aspects of Computing 5 (3), 208-223, 1993
591993
Formal development with ABEL
OJ Dahl, O Owe
International Symposium of VDM Europe, 320-362, 1991
491991
A run-time environment for concurrent objects with asynchronous method calls
EB Johnsen, O Owe, EW Axelsen
Electronic Notes in Theoretical Computer Science 117, 375-392, 2005
472005
Observable behavior of distributed systems: Component reasoning for concurrent objects
CC Din, J Dovland, EB Johnsen, O Owe
The Journal of Logic and Algebraic Programming 81 (3), 227-256, 2012
452012
Verification of concurrent objects with asynchronous method calls
J Dovland, EB Johnsen, O Owe
IEEE International Conference on Software-Science, Technology & Engineering …, 2005
452005
An approach to program reasoning based on a first order logic for partial functions
O Owe
University of Oslo, Institute of Informatics, 1985
451985
ANNA: a language for annotating ADA programs
DC Luckham, FW Henke, B Krieg-Brueckner, O Owe
Stanford University, 1984
351984
Object-oriented specification and open distributed systems
EB Johnsen, O Owe
From Object-Orientation to Formal Methods, 137-164, 2004
342004
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010
312010
Group selection by nodes in wireless sensor networks using coalitional game theory
F Kazemeyni, EB Johnsen, O Owe, I Balasingham
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
302011
A compositional formalism for object viewpoints
EB Johnsen, O Owe
International Conference on Formal Methods for Open Object-Based Distributed …, 2002
302002
Formal methods and the RM-ODP
OJ Dahl, O Owe
Research Report 261, Dept. of informatics, Univ. of Oslo, 1998
291998
A transformational proof system for delta-oriented programming
F Damiani, O Owe, J Dovland, I Schaefer, EB Johnsen, IC Yu
Proceedings of the 16th International Software Product Line Conference …, 2012
282012
Dynamic resource reallocation between deployment components
EB Johnsen, O Owe, R Schlatte, SLT Tarifa
International Conference on Formal Engineering Methods, 646-661, 2010
282010
Type-safe runtime class upgrades in Creol
IC Yu, EB Johnsen, O Owe
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
282006
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20