1![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 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](https://www.pdfsearch.io/img/09ff0cf4a3f47632e683c9358b73b643.jpg) | Add to Reading ListSource URL: einarj.at.ifi.uio.noLanguage: English - Date: 2018-08-11 03:47:50
|
---|
2![A 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](https://www.pdfsearch.io/img/e0656279df0a568b6198a6a7f3a22bf5.jpg) | Add to Reading ListSource URL: einarj.at.ifi.uio.noLanguage: English - Date: 2015-01-21 15:14:28
|
---|
3![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 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](https://www.pdfsearch.io/img/444ace8f2c655c3e04e16c428c4bbeaa.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2002-09-06 09:03:02
|
---|
4![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 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](https://www.pdfsearch.io/img/8a144799da329b2b08be98f303e20db3.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2004-12-12 14:02:10
|
---|
5![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 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](https://www.pdfsearch.io/img/9b86247b2a3b2b4e427e30205d8c2e8f.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2004-12-12 13:57:58
|
---|
6![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 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](https://www.pdfsearch.io/img/70fcf48d25a7baa75319edf33bd3c077.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2003-10-15 10:26:25
|
---|
7![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 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](https://www.pdfsearch.io/img/d239200c35f18a528da8c882b6c15a94.jpg) | Add to Reading ListSource URL: foreninger.uio.noLanguage: English - Date: 2008-09-05 11:03:30
|
---|
8![](https://www.pdfsearch.io/img/cf3d04be12e7d8258427ce43b4c1af63.jpg) | Add to Reading ListSource URL: www.kortlandt.nlLanguage: English - Date: 2012-09-25 04:48:06
|
---|