Liskov substitution principle - PDFSEARCH.IO - Document Search Engine

Liskov substitution principle
Results: 16

#	Item
1	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 Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25** Software engineering Object-oriented programming Computer programming Computing Inheritance Formal concept analysis Class Hierarchy Dependency grammar Method Liskov substitution principle
2	Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016 Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-06-08 08:30:38 Object-oriented programming Inheritance Method Subtyping Liskov substitution principle Is-a Class Eiffel Monad Subroutine Covariance and contravariance
3	Full Substitutability∗ John William Hatfield† Scott Duke Kominers‡ Michael Ostrovsky¶ Add to Reading List Source URL: www.scottkom.com Language: English - Date: 2015-05-05 17:36:17 Interpretation Philosophy of language Philosophy of mind Semantics Constructible universe Liskov substitution principle Ordinal number Theoretical computer science Mathematical logic Model theory Logic
4	On Context-Specific Substitutability of Web Services Jyotishman Pathak Samik Basu Vasant Honavar Department of Computer Science Iowa State University, Ames, IA, USA Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-10-07 21:30:51 Software engineering Computing Computer science Liskov substitution principle Object-oriented programming Type theory
5	A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed] Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-23 06:34:27 Programming paradigms Concurrent computing Formal methods Design by contract Software design Hoare logic Liskov substitution principle Communications protocol Algorithm Software engineering Computing Theoretical computer science
6	SOLID Deconstruction Kevlin Henney [removed] @KevlinHenney Add to Reading List Source URL: accu.org Language: English - Date: 2012-05-09 02:37:20 Computer programming Software design SOLID Liskov substitution principle Single responsibility principle Barbara Jane Liskov Interface Inversion of control Kevlin Henney Software engineering Object-oriented programming Computing
7	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 Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-07-29 09:42:05** Computing Inheritance Class Hierarchy Formal concept analysis Object-oriented design Liskov substitution principle Concepts Software engineering Object-oriented programming Computer programming
8	The Liskov Substitution Principle This is the second of my Engineering Notebook columns for The C++ Report. The articles that will appear in this column will focus on the use of C++ and OOD, and will address issues of so Add to Reading List Source URL: web.archive.org Language: English Object-oriented programming Liskov substitution principle Method overriding Virtual function Inheritance C++ classes Postcondition Polymorphism C++ Software engineering Computer programming Computing
9	6, Ethics,1992 Philosophical Perspectives, AN ARGUMENTFOR CONSEQUENTIALISM Add to Reading List Source URL: sites.duke.edu Language: English - Date: 2011-06-01 22:37:44 Ethology Normative ethics Philosophy of life Social philosophy Reason Liskov substitution principle Morality Consequentialism Philosophy Ethics Meta-ethics
10	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-22 15:49:05 Women in technology Software engineering Theoretical computer science Orc Liskov substitution principle Ambient intelligence Support Keith Marzullo Debajyoti Mukhopadhyay Year of birth missing Computing Jeannette Wing