Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
51	Assert Use in GitHub Projects Casey Casalnuovo, Prem Devanbu, Abilio Oliveira, Vladimir Filkov, Baishakhi Ray Computer Science Dept., Univ. of California, Davis {ccasal,ptdevanbu,vfilkov,abioliveira,bairay}@ucdavis.edu Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-19 22:20:15 Software engineering Computer programming Software Logic in computer science Assertion Debugging Go Software bug Class invariant
52	Jlint – status of version 3.0 Raphael Ackermann June 9, 2004 1 Add to Reading List Source URL: artho.com Language: English - Date: 2010-02-21 23:12:49 Java platform Cross-platform software Computing platforms Extreme programming Software testing Exception handling Java version history Java Unit testing Assertion Pointer Comparison of C Sharp and Java
53	Lazytest Better Living Through Protocols Stuart Sierra Clojure NYC April 15, 2010 Add to Reading List Source URL: stuartsierra.com Language: English - Date: 2010-04-18 13:07:17 Control flow Functional languages Scripting languages Eval Assertion Clojure Exception handling
54	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Formal methods Logic in computer science Object-oriented programming Postcondition Precondition Class invariant Design by contract Assertion Constructor Class Invariant Loop invariant
55	Replication of Assert Use in GitHub Projects Casey Casalnuovo, Prem Devanbu, Vladimir Filkov, Baishakhi Ray Computer Science Dept., Univ. of California, Davis {ccasal,ptdevanbu,vfilkov,abioliveira,bairay}@ucdavis.edu I. Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-19 22:20:15 Logic in computer science Formal methods Assertion Debugging Diff utility Software bug Merge Go Logarithm
56	Giovanni Tuzet Bocconi University (Milan) RESPONSIBLE FOR TRUTH? Peirce on Judgment and Assertion Add to Reading List Source URL: www.unav.es Language: English - Date: 2006-03-21 10:12:52 Charles Sanders Peirce Philosophical logic Philosophy of science Epistemology Theories of truth Truth Pragmatism Abductive reasoning Judgment Inquiry Meaning Sequent
57	TCS SAML demo background https://www.digicert.com/sso David Groep TCS PMA and Nikhef TCS TNC2015 Workshop Add to Reading List Source URL: certificate.nikhef.nl Language: English - Date: 2015-06-26 06:16:58 Identity management Computer access control Metadata standards Security Assertion Markup Language Federated identity SAML-based products and services SAML 2.0
58	Microsoft PowerPoint - greenwood-OECD-Norway-07-MAY-07.ppt Add to Reading List Source URL: www.oecd.org Language: English - Date: 2016-03-29 12:11:08 Identity management Computer access control Federated identity Digital technology Digital identity Authentication Liberty Alliance Security Assertion Markup Language Identity theft Identity Identity assurance Electronic authentication
59	Building and (inter)operating AA services. A tour into reality TERENA Mini Symposium on AA Prague, 24 October 2002 Add to Reading List Source URL: papi.rediris.es Language: English - Date: 2007-10-13 04:03:52 Identity management Computer access control Federated identity Internet Standards Shibboleth Security Assertion Markup Language Privacy policy Authentication Internet privacy Privacy
60	An Integrated Accounting and Charging Architecture for Mobile Grids Cristian Morariu, Martin Waldburger, Burkhard Stiller Add to Reading List Source URL: gridnets.org Language: English - Date: 2010-08-10 03:54:15 Mobile technology Computer access control Identity management Security Assertion Markup Language Mobile network operator Diameter