Postcondition - PDFSEARCH.IO - Document Search Engine

Postcondition
Results: 77

#	Item
71	Teaching program specification and verification using JML and ESC/Java2 Erik Poll Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-08-15 11:27:47 Logic in computer science Formal methods ESC/Java Programming paradigms Static program analysis Predicate transformer semantics KeY Postcondition Invariant Software engineering Theoretical computer science Computing
72	The Origin of Refine® Add to Reading List Source URL: www.metaware.fr Language: English - Date: 2012-06-11 12:13:24 Logic in computer science Functional languages Lisp programming language Compiler Compiler construction Programming language implementation Precondition Postcondition Genera Computing Software engineering Computer programming
73	PDF Document Add to Reading List Source URL: se.inf.ethz.ch Language: English Computer programming Test-driven development Unit testing Eiffel Postcondition Test automation Design by contract Test case XUnit Software testing Software development Software engineering
74	PDF Document Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:32:41 Logic in computer science Object-oriented programming Programming paradigms Postcondition Precondition Design by contract Eiffel Class invariant Assertion Software engineering Computer programming Computing
75	PDF Document Add to Reading List Source URL: cse.sjtu.edu.cn Language: English - Date: 2007-06-16 06:31:33 Aspect-oriented programming Aspect-oriented software development AspectJ Pointcut Join point Spring Framework Postcondition Design by contract Aspect Software development Software Computing
76	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-07-03 09:52:39 Data types Type theory Ada Design by contract Subroutine Postcondition Stack Monitor Enumerated type Software engineering Computing Computer programming
77	PDF Document Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:45:25 Object-oriented programming Liskov substitution principle Method overriding Virtual function Inheritance C++ classes Postcondition Polymorphism C++ Software engineering Computer programming Computing

UPDATE