Postcondition - PDFSEARCH.IO - Document Search Engine

Postcondition
Results: 77

#	Item
11	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
12	Extracting Frame Conditions from Operation Contracts Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-17 08:36:26 Theoretical computer science Formal methods Software engineering Logic in computer science Postcondition Object Constraint Language Causality Statistics Statistical hypothesis testing Invariant
13	Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-23 11:19:39 Theoretical computer science Formal methods Software engineering Computing Logic in computer science Java Modeling Language Postcondition Extended static checking Predicate transformer semantics ESC/Java Precondition KeY
14	Contract.Requires(amount > 0.0); Contract.Ensures(Balance == Contract.OldValue(Balance) + amount); Contract.Invariant(Balance > 0.0); Encouraging Effective Contract Specifications Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-06-23 14:58:31 Theoretical computer science Formal methods Logic in computer science Postcondition Null
15	Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:38:11 Unified Modeling Language ISO standards Object Constraint Language ECO Object Process Methodology Object diagram Class diagram Postcondition Design by contract Sequence diagram Conceptual model
16	On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-12-21 03:16:59 Software engineering Unified Modeling Language Computing Theoretical computer science Object Constraint Language ECO Executable UML Postcondition State diagram Event Class diagram Finite-state machine
17	Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-09 04:53:38 Software engineering Unified Modeling Language Computing Theoretical computer science ECO Postcondition Systems Modeling Language Object Process Methodology Modeling language Profile Class diagram Economic model
18	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Logic in computer science Theoretical computer science Refinement Predicate transformer semantics Postcondition Program transformation Finite-state machine Invariant Formal verification Aspect-oriented software development Precondition
19	A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2011-08-02 14:55:47 Mathematics Hoare logic Separation logic Axiomatic semantics Assertion Postcondition Precondition Judgment Rust Theoretical computer science Logic in computer science Mathematical logic
20	cb_logo_inspiring_small_ko Add to Reading List Source URL: apcentral.collegeboard.com Language: English - Date: 2012-09-17 12:02:43 Computing GridWorld Advanced Placement Computer Science Postcondition Classpath Advanced Placement Jeroo JAR College Board Education Computer science education Theoretical computer science