Jeannette Wing - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-03-22 16:10:19 Theoretical computer science Type theory Women in technology Logic in computer science Liskov substitution principle Barbara Jane Liskov Subtype polymorphism Jeannette Wing Is-a Software engineering Object-oriented programming Computing		Add to Reading List Source URL: www.engr.mun.ca Download Document from Source Website File Size: 164,05 KB Share Document on Facebook

	Generating a Catalog of Unanticipated Schemas in Class Hierarchies using Formal Concept Analysis** Gabriela Ar´evaloa,f,∗ , St´ephane Ducassec , Silvia Gordillob,e , Oscar Nierstraszd a FI - Universidad Austral, Avd DocID: 1qhLb - View Document
	Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016 DocID: 1ptN4 - View Document
	Full Substitutability∗ John William Hatfield† Scott Duke Kominers‡ Michael Ostrovsky¶ DocID: 16K29 - View Document
	On Context-Specific Substitutability of Web Services Jyotishman Pathak Samik Basu Vasant Honavar Department of Computer Science Iowa State University, Ames, IA, USA DocID: 11Q9h - View Document
	A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed] DocID: YeG3 - View Document