Assertion

Results: 1026



#Item
211Computer programming / Logic in computer science / Predicate transformer semantics / Frama-C / Hoare logic / Pointer / Precondition / Assertion / Theoretical computer science / Program logic / Software engineering

WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:46
212Source code / Cross-platform software / Comment / Java / Coding conventions / Exception handling / Assertion / C / Naming convention / Computer programming / Computing / Software engineering

Coding Conventions for C++ and Java applications - Macadamian Technologies Inc Coding Conventions for C++ and Java applications Table of Contents

Add to Reading List

Source URL: www.literateprogramming.com

Language: English - Date: 2007-10-09 02:20:19
213Mathematical economics / Monopoly / Pricing / Supply and demand / Rational expectations / Economic equilibrium / Rationality / Perfect competition / Economic model / Economics / Demand / Economic theories

Applying economic methodology: Recognizing knowledge in economic models © Lawrence A. Boland It is clear that, if we want to make the assertion that, under certain conditions, people will approach [a state of equilibriu

Add to Reading List

Source URL: www.sfu.ca

Language: English - Date: 2005-02-15 17:58:14
214System software / Identity management / Security Assertion Markup Language / Integrated Windows Authentication / NTLM / Active Directory / Kerberos / SAP Logon Ticket / IBM Lightweight Third-Party Authentication / Computer security / Computer network security / Computing

PDF Document

Add to Reading List

Source URL: www.javasystemsolutions.com

Language: English - Date: 2013-09-09 15:08:14
215Computer security / System software / OpenID / SAML 2.0 / Security Assertion Markup Language / Federated identity / Identity / Identity management

PDF Document

Add to Reading List

Source URL: www.javasystemsolutions.com

Language: English - Date: 2011-06-12 09:29:49
216Computer network security / Identity management / Integrated Windows Authentication / Internet Explorer / NTLM / Security Assertion Markup Language / Active Directory / SAP Logon Ticket / Computer security / System software / Computing

PDF Document

Add to Reading List

Source URL: www.javasystemsolutions.com

Language: English - Date: 2012-08-09 06:06:43
217System software / Digital identity / Trust law / Phorm / Security Assertion Markup Language / Law / Identity management / Computer security

PDF Document

Add to Reading List

Source URL: www.openidentityexchange.org

Language: English - Date: 2014-06-06 18:30:57
218Computer security / Identity management / Security Assertion Markup Language / SAML 1.1 / SAML 2.0 / Computing / System software / Identity management systems

ODT Document

Add to Reading List

Source URL: docs.oasis-open.org

Language: English - Date: 2012-05-01 12:00:00
219Identity management / Computer security / Security Assertion Markup Language / SAML 1.1 / SAML 2.0 / Computing / System software / Identity management systems

PDF Document

Add to Reading List

Source URL: docs.oasis-open.org

Language: English - Date: 2007-07-16 15:15:41
220Logic in computer science / Assertion / Spreadsheet / E / Postcondition / Microsoft Excel / Precondition / Software engineering / Theoretical computer science / Computing

PDF Document

Add to Reading List

Source URL: galois.com

Language: English - Date: 2014-07-16 17:46:25
UPDATE