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

	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. X, MONTHA Multi-Site Joint Replication of a Design Patterns Experiment using Moderator Variables DocID: 1v4uE - View Document
	Writers’ Workshops As Scientific Methodology Richard P. Gabriel Dream Songs, Inc. Software design patterns are both things in the world and DocID: 1ugpS - View Document
	Software Design Patterns for TinyOS DAVID GAY Intel Research, Berkeley PHILIP LEVIS Stanford University and DocID: 1u55x - View Document
	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley DocID: 1rtHp - View Document
	-Application for a Distinguished Visiting Fellow DocID: 1rt1z - View Document