Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr

First Page		Document Content
Date: 2016-05-04 09:09:45 Software engineering Computer programming Computing Object-oriented programming Software design patterns Concurrent programming languages Cross-platform software Method Objective-C Invariant Null Object pattern Protocol		Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr Add to Reading List Source URL: heim.ifi.uio.no Download Document from Source Website File Size: 492,33 KB Share Document on Facebook

	Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr DocID: 1qQQG - View Document
	I A D PATA B L E A N D W O R K B E N C H Implementing a Workbench View and Using IAdaptable 19 August 2008 DocID: 1pAb4 - View Document
	April 2002: Stop Over-Engineering! Stop Over-Engineering! Page 1 of 4 DocID: 1p8CI - View Document
	The Null Object Pattern Bobby Woolf Knowledge Systems CorpWeston Pkwy, Cary, NCx541, DocID: 1nftG - View Document
	RecapFibonacci .......... DocID: 1kBDA - View Document