Olaf Broch

Results: 8



#Item
1A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu Department of Informatics, University of Oslo P.O. Box 1080 Blindern, N-0316

A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu Department of Informatics, University of Oslo P.O. Box 1080 Blindern, N-0316

Add to Reading List

Source URL: einarj.at.ifi.uio.no

Language: English - Date: 2018-08-11 03:47:50
    2A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b

    A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b

    Add to Reading List

    Source URL: einarj.at.ifi.uio.no

    Language: English - Date: 2015-01-21 15:14:28
    3A Proof Environment for Partial Specifications in OUN Einar Broch Johnsen and Olaf Owe Department of informatics, University of Oslo Abstract Aspect-oriented specifications and formal reasoning are often advocated for th

    A Proof Environment for Partial Specifications in OUN Einar Broch Johnsen and Olaf Owe Department of informatics, University of Oslo Abstract Aspect-oriented specifications and formal reasoning are often advocated for th

    Add to Reading List

    Source URL: www.nik.no

    Language: English - Date: 2002-09-06 09:03:02
    4Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te

    Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te

    Add to Reading List

    Source URL: www.nik.no

    Language: English - Date: 2004-12-12 14:02:10
    5Reasoning about Asynchronous Method Calls and Inheritance Johan Dovland, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract This paper considers the problem of reusing synchronizatio

    Reasoning about Asynchronous Method Calls and Inheritance Johan Dovland, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract This paper considers the problem of reusing synchronizatio

    Add to Reading List

    Source URL: www.nik.no

    Language: English - Date: 2004-12-12 13:57:58
    6Combining Active and Reactive Behavior in Concurrent Objects Einar Broch Johnsen, Olaf Owe, and Marte Arnestad Department of Informatics, University of Oslo Abstract A distributed system can be modeled by objects that ru

    Combining Active and Reactive Behavior in Concurrent Objects Einar Broch Johnsen, Olaf Owe, and Marte Arnestad Department of Informatics, University of Oslo Abstract A distributed system can be modeled by objects that ru

    Add to Reading List

    Source URL: www.nik.no

    Language: English - Date: 2003-10-15 10:26:25
    7Siri Sverdup Lunden in memoriam Dr. philos. Siri Sverdrup Lunden, professor emerita of Russian linguistics, died on 24 August 2003 in Trondheim, at the age of 83. Born at Kongsberg on 23 March 1920, she

    Siri Sverdup Lunden in memoriam Dr. philos. Siri Sverdrup Lunden, professor emerita of Russian linguistics, died on 24 August 2003 in Trondheim, at the age of 83. Born at Kongsberg on 23 March 1920, she

    Add to Reading List

    Source URL: foreninger.uio.no

    Language: English - Date: 2008-09-05 11:03:30
    8

    PDF Document

    Add to Reading List

    Source URL: www.kortlandt.nl

    Language: English - Date: 2012-09-25 04:48:06