Følg
Olaf Owe
Tittel
Sitert av
Sitert av
År
An Asynchronous Communication Model for Distributed Concurrent Objects
EB Johnsen, O Owe
Software & Systems Modeling 6 (1), 39–58, 2007
2702007
An Asynchronous Communication Model for Distributed Concurrent Objects
EB Johnsen, O Owe
Journal of Software and Systems Modeling 6 (1), 39–58, 0
270*
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
1592006
ANNA A Language for Annotating Ada Programs
DC Luckham, FW von Henke, B Krieg-Brückner, O Owe
Springer Berlin Heidelberg, 1987
1421987
Partial logics reconsidered: A conservative approach
O Owe
Formal Aspects of Computing 5, 208-223, 1993
601993
Formal development with ABEL
OJ Dahl, O Owe
International Symposium of VDM Europe, 320-362, 1991
531991
An approach to program reasoning based on a first order logic for partial functions
O Owe
University of Oslo, Institute of Informatics, 1985
521985
Compositional reasoning about active objects with shared futures
CC Din, O Owe
Formal Aspects of Computing 27, 551-572, 2015
502015
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
502012
Verification of concurrent objects with asynchronous method calls
J Dovland, EB Johnsen, O Owe
IEEE International Conference on Software-Science, Technology & Engineering …, 2005
502005
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
A sound and complete reasoning system for asynchronous communication with shared futures
CC Din, O Owe
Journal of Logical and Algebraic Methods in Programming 83 (5-6), 360-383, 2014
372014
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
352011
Object-oriented specification and open distributed systems
EB Johnsen, O Owe
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan …, 2004
352004
Formal methods and the RM-ODP
OJ Dahl, O Owe
Research Report 261, Dept. of informatics, Univ. of Oslo, 1998
341998
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
332012
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010
332010
A compositional formalism for object viewpoints
EB Johnsen, O Owe
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6. 1 …, 2002
302002
Preliminary report on the specification and programming language ABEL
OJ Dahl, DF Langmyhr, O Owe
Institute of Informatics, University of Oslo, 1986
301986
Dynamic resource reallocation between deployment components
EB Johnsen, O Owe, R Schlatte, SL Tapia Tarifa
International Conference on Formal Engineering Methods, 646-661, 2010
292010
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20