Precondition - PDFSEARCH.IO - Document Search Engine

Precondition
Results: 119

#	Item
71	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
72	RELEASE AND WAIVER OF LIABILITY, ASSUMPTION OF RISK AND INDEMNIFICATION AGREEMENT This Release and Waiver of Liability, Assumption of Risk and Indemnification Agreement is signed as a precondition of the participation of Add to Reading List Source URL: my.llfiles.com Language: English - Date: 2014-01-06 10:13:23 Contract law Negligence Damages Indemnity Law Tort law Judicial remedies
73	March[removed]Biometric suitable Photos High-quality photos form the basis for the perfect reproduction of the image and are a precondition for the application of facial biometrics in ID documents/visas. Biometric suitable Add to Reading List Source URL: www.kathmandu.diplo.de Language: English - Date: 2012-03-08 01:55:03 Asia Phnom Penh Sisowath Monivong Cambodia
74	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
75	The Serendipity of Interaction Michelle Mahdon OECD workshop, Paris, [removed] A precondition of innovation is… Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 01:44:32 Innovation Serendipity Ethology Science Design Economics
76	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
77	Synthese[removed]:271–295 DOI[removed]s11229[removed]Metacognition and metarepresentation: is a self-directed theory of mind a precondition for metacognition? Add to Reading List Source URL: joelleproust.org Language: English - Date: 2012-09-20 11:29:42 Educational psychology Self Memory Neuropsychological assessment Metacognition Metamemory Self-knowledge Recall Introspection Mind Cognitive science Ethology
78	Lead - Engage - Perform Expert Meeting on Leadership for Employee Engagement[removed]January 2015 Employee engagement has been shown to be a necessary precondition for innovation, effective change management and overall pe Add to Reading List Source URL: www.oecd.org Language: English - Date: 2015-02-04 13:28:24 Employee engagement Social psychology Employment Employer branding Organisation for Economic Co-operation and Development Behavioural sciences Employee value proposition Human resource management Organizational behavior Management
79	SECURING FUEL SUPPLY A PRECONDITION TO PROJECT FINANCE Add to Reading List Source URL: www.unepfi.org Language: English - Date: 2005-03-04 06:10:35 Renewable energy Sustainable energy Bioenergy Cofiring Combustion Biomass Feed-in tariff Energy security Energy industry Energy Energy economics Energy development
80	Planning for Loosely Coupled Agents using Partial Order Forward-Chaining Jonas Kvarnstr¨om Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden ([removed]) Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-25 07:58:55 Partial-order planning Planning Domain Definition Language Planning Precondition Action Mind Action description language Automated planning and scheduling Artificial intelligence Physics

UPDATE