Postcondition - PDFSEARCH.IO - Document Search Engine

Postcondition
Results: 77

#	Item
31	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-09-28 08:15:15 Logic in computer science Object-oriented programming Procedural programming languages Postcondition Control flow Eiffel Precondition Programming paradigms Exception handling Software engineering Computing Computer programming
32	php \| tek - Chicago, May 16-18, 2007 Exceptional PHP When Good Code Goes Bad Jeff Moore Add to Reading List Source URL: www.procata.com Language: English - Date: 2009-09-27 16:51:03 Logic in computer science Software bugs Postcondition Exception handling Precondition C Infinite loop Software engineering Computer programming Computing
33	Microsoft Word - use_case_template.doc Add to Reading List Source URL: www.processimpact.com Language: English - Date: 2011-11-13 12:24:14 Software requirements Control flow Software project management Exception handling Postcondition Flow Conditional Copyright Use case Software development Software engineering Computing
34	Quotes from∗ Fundamentals of Computing II: Abstraction, Data Structures, and Large Software Systems Allen B. Tucker Robert D. Cupper Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-09-07 04:16:35 Object-oriented programming Software design Software development Decomposition Object-oriented design Software development methodology Algorithm Postcondition Subroutine Software engineering Computer programming Computing
35	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:32:40 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
36	Reasoning about Function Objects Martin Nordio1 , Cristiano Calcagno??23 , Bertrand Meyer1 , Peter M¨ uller1 , and 1 Julian Tschannen 1 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-02-25 03:52:43 Logic in computer science Subroutines Object-oriented programming Procedural programming languages Eiffel Program logic Postcondition Precondition Function object Software engineering Computing Computer programming
37	Program Checking With Less Hassle Julian Tschannen1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-05 04:58:16 Logic in computer science Formal methods Compiler optimizations Program logic Inline expansion Subroutines Predicate transformer semantics Postcondition Eiffel Software engineering Theoretical computer science Computing
38	Abstract Read Permissions: Fractional Permissions without the Fractions Stefan Heule1 , K. Rustan M. Leino2 , Peter Müller1 , and Alexander J. Summers1 1 Add to Reading List Source URL: stefanheule.com Language: English - Date: 2014-09-10 01:53:47 Computer programming Control flow Postcondition Filesystem permissions Eval Precondition Rm Constructor Computing Software engineering Logic in computer science
39	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework Edison Mera1 Pedro Lopez-Garc´ıa2,3 Manuel Hermenegildo2,4 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-05-02 02:18:06 Logic in computer science Assertion Debugging Postcondition Prolog Unit testing Predicate Rust Scheme Software engineering Computer programming Theoretical computer science