Postcondition - PDFSEARCH.IO - Document Search Engine

Postcondition
Results: 77

#	Item
51	John Barnes Contracts and Aspects 2 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-08-21 10:02:43 Procedural programming languages Ada Ada programming language C programming language Directive Subroutine SPARK Postcondition ConTeXt Computing Software engineering Computer programming
52	Presentation cover page EU Towards Ada2012 : an interim report from the Ada Rapporteur Group Add to Reading List Source URL: www.disca.upv.es Language: English - Date: 2010-06-25 09:06:47 Procedural programming languages Ada Cross-platform software Subroutine Postcondition C SQL ALGOL 68 Boolean data type Computing Software engineering Computer programming
53	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.open-do.org Language: English - Date: 2011-12-14 10:38:39 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
54	Microsoft PowerPoint - Meyer_swii.pptx Add to Reading List Source URL: www.swii.org Language: English - Date: 2014-09-23 14:56:34 Software Postcondition EiffelStudio Eiffel Design by contract Test case Precondition Test automation Oracle Software testing Software engineering Software development
55	The Inscape Environment Dewayne E. Perry AT&T Bell Laboratories Murray Hill, NJ[removed]2529 Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2001-02-14 09:30:12 Data types Type theory Mathematical logic Predicate Predicate logic Propositional calculus Postcondition Formal methods Type system Computing Logic Software engineering
56	John Barnes Contracts and Aspects This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:35 Procedural programming languages Ada Ada programming language Directive Subroutine SPARK Postcondition ALGOL 68 Eiffel Software engineering Computing Computer programming
57	Executing Code in the Past: Efficient In-Memory Object Graph Versioning Fr´ed´eric Pluquet Stefan Langerman ∗ Add to Reading List Source URL: roelwuyts.be Language: English - Date: 2013-08-26 08:07:31 Object-oriented programming Method Smalltalk Object Self Postcondition Java Constructor Software engineering Computer programming Computing
58	John Barnes Introduction This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:32 Type theory Ada Data types Design by contract Subroutine Postcondition Monitor Stack SQL Software engineering Computing Computer programming
59	The Invariant Game Matteo Vaccari [removed] XP Day Eindhoven, 20 November 2008 Add to Reading List Source URL: matteo.vaccari.name Language: English - Date: 2008-11-24 09:30:00 Logic in computer science Program logic Hoare logic Computer programming Postcondition Precondition ALGOL 68 Initialization Invariant Software engineering Theoretical computer science Computing
60	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