President Level Executive Level Entrepreneur Level

First Page		Document Content
Date: 2015-01-07 13:51:21 Douglas Castle Rock		President Level Executive Level Entrepreneur Level Add to Reading List Source URL: www.castlerock.org Download Document from Source Website File Size: 115,93 KB Share Document on Facebook

	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA DocID: 1xW2y - View Document
	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2 DocID: 1xVCQ - View Document
	to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute DocID: 1xVxl - View Document
	Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue DocID: 1xVuR - View Document
	Composition and Renement of Behavioral Specications Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA DocID: 1xVpo - View Document