Postcondition - PDFSEARCH.IO - Document Search Engine

Postcondition
Results: 77

#	Item
61	Agile Verification Gerard J. Holzmann [removed] how we design & test software today Add to Reading List Source URL: www.kiss.caltech.edu Language: English - Date: 2012-08-03 13:15:57 Formal methods Software engineering Software testing Model checking Postcondition Software development process Requirement Model-based testing Theoretical computer science Software development Logic in computer science
62	Mehran Sahami CS 106A Handout #10A October 3, 2007 Add to Reading List Source URL: see.stanford.edu Language: English - Date: 2007-12-11 13:35:06 Computer programming Chad Punched card United States presidential election Word of the year Postcondition Mehran Sahami Karel Precondition Logic in computer science Software engineering Computing
63	PDF Document Add to Reading List Source URL: www.oclc.org Language: English - Date: 2014-08-21 13:36:38 Data Identifiers Academia ORCID Technical communication Postcondition Open access Authority control Academic publishing Metadata Information
64	Use Case Reference FINAL Add to Reading List Source URL: www.nh.gov Language: English - Date: 2013-03-10 05:00:00 Software Software project management Unified Modeling Language Systems Modeling Language Use case Exception handling Grammatical case Postcondition Software development Software requirements Theoretical computer science
65	Electronic Communications of the EASST Volume[removed]Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011) Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:24 Formal methods Unified Modeling Language Logic in computer science Postcondition Object-oriented programming Operation contracts ECO KeY Function Theoretical computer science Software engineering Mathematics
66	DOC Document Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2006-05-08 10:43:12 Computing Software requirements Software engineering Contract Use case Letter of credit Actor model Postcondition Contract law Legal documents Software development
67	Object-Oriented Software Engineering with Eiel Jean-Marc Jezequel ISBN[removed] Add to Reading List Source URL: www.irisa.fr Language: English - Date: 1998-10-12 03:47:47 Computer programming Eiffel Component-based software engineering Design by contract Generic programming Postcondition Precondition Object Multiple inheritance Software engineering Object-oriented programming Computing
68	The Contract Pattern Copyright 1997, Michel de Champlain Permission granted to copy for PLoP ’97 Conference. All other rights reserved. Add to Reading List Source URL: hillside.net Language: English - Date: 2004-02-16 17:17:56 Logic in computer science Programming paradigms Object-oriented programming Class invariant Method Eiffel Assertion Postcondition Precondition Software engineering Computing Computer programming
69	A Historical Perspective on Runtime Assertion Checking in Software Development Add to Reading List Source URL: discovery.ucl.ac.uk Language: English - Date: 2008-02-04 05:56:15 Logic in computer science Assertion Postcondition Precondition Class invariant Eiffel Monitor Test Data Generation Comparison of C Sharp and Java Software engineering Computer programming Computing
70	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-06-01 14:01:26 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

UPDATE