Postcondition - PDFSEARCH.IO - Document Search Engine

Postcondition
Results: 77

#	Item
41	AutoProof: Auto-active Functional Verification of Object-oriented Programs Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova Chair of Software Engineering, Department of Computer Science, ETH Zurich, Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-01-15 04:33:24 Logic in computer science Object-oriented programming Formal methods Programming paradigms Eiffel Hardware verification languages Java Modeling Language Formal verification Postcondition Software engineering Computing Computer programming
42	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: 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
43	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) AutoProof Meets Some Verification Challenges Julian Tschannen · Carlo A. Furia · Martin Nordio Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2014-01-14 06:58:45 Logic in computer science Eiffel Postcondition Precondition Recursion Assertion Lookup table Rope Exception handling Software engineering Computer programming Computing
44	Extracted from: Debug It! Find, Repair, and Prevent Bugs in Your Code This PDF file contains pages extracted from Debug It!, published by the Pragmatic Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2009-08-04 11:58:23 Software engineering Assertion Debugging Software bug Postcondition Theoretical computer science Computer programming Logic in computer science
45	Embedded Contract Languages Manuel Fähndrich Michael Barnett Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-13 18:01:10 Logic in computer science Programming paradigms Cross-platform software Object-oriented programming Procedural programming languages Postcondition Design by contract Precondition Class invariant Software engineering Computing Computer programming
46	Microsoft Word - DASIA2013 - Formal Validation of Aerospace Software - Astrium ST - AdaCore[removed].doc Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-06-10 05:40:58 Logic in computer science SPARK Postcondition Subroutine Ada Formal methods Precondition Verification and validation Library Computing Software engineering Computer programming
47	Object-oriented paradigm presents the most direct and natural medium for modeling automation problems Add to Reading List Source URL: www.zhmicro.com Language: English - Date: 2015-01-01 22:54:49 Object-oriented programming Class invariant Control flow Invariant Postcondition Constructor Class Emmy Noether Exception handling Software engineering Computer programming Computing
48	CHI95UpdatedFontForProperPagination.FMD.fm Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 13:42:08 Models of computation User interface management systems Computer animation ALGOL 68 Algorithm Finite-state machine Actor model Postcondition Parallel computing Computing Software engineering Computer programming
49	Proof Obligations Preserving Compilation Extended abstract Gilles Barthe1 and Tamara Rezk1 and Ando Saabas2 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:27:15 Applied mathematics Formal methods Mathematical logic Program logic Predicate transformer semantics Assertion Stack-oriented programming language Postcondition Subroutine Theoretical computer science Mathematics Logic in computer science
50	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 1 Concordia University, Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.eecs.ucf.edu Language: English - Date: 2007-01-29 15:18:04 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science