Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
271	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework Edison Mera1 Pedro Lopez-Garc´ıa2,3 Manuel Hermenegildo2,4 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-05-02 02:18:06 Logic in computer science Assertion Debugging Postcondition Prolog Unit testing Predicate Rust Scheme Software engineering Computer programming Theoretical computer science
272	Microsoft Word - BCU Case Study - Client Choice Debit Card Add to Reading List Source URL: www.psclistens.com Language: English - Date: 2015-03-25 11:34:03 Finance Debit card Credit card Debits and credits Security Assertion Markup Language Payment systems Electronic commerce Business
273	Soutei, a Logic-Based Trust-Management System System Description Andrew Pimlott1 and Oleg Kiselyov2 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2006-02-22 23:23:35 Datalog PERMIS Prolog Access control Logic programming Assertion Channel access method Predicate Logic Computing Software engineering Computer programming
274	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
275	Privacy Postures of Authentication Technologies Francisco Corella, PhD Karen Lewison, MD Add to Reading List Source URL: pomcor.com Language: English - Date: 2013-07-14 20:31:33 Computing Cloud standards Identity management OpenID Authentication Two-factor authentication Security Assertion Markup Language Shibboleth OAuth Federated identity Security Computer security
276	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
277	29 Separate opinion of Judge Koroma Misgivings regarding plausibility as a criterion for indication of provisional measures — Assertion introduced in Questions relating to the Obligation to Add to Reading List Source URL: www.icj-cij.org Language: English - Date: 2014-12-15 09:41:04
278	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework Edison Mera1 Pedro Lopez-Garc´ıa2,3 Manuel Hermenegildo2,4 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-05-02 02:18:06 Logic in computer science Assertion Debugging Postcondition Prolog Unit testing Predicate Rust Scheme Software engineering Computer programming Theoretical computer science
279	PDF Document Add to Reading List Source URL: adl.opengroup.org Language: English - Date: 2001-11-22 13:31:09 Assertion definition language Software testing Action description language Anti-Defamation League Assertion Software architecture ADL Test Data Generation C Software engineering Computing Computer programming
280	CLouD CoMPuTing Interoperable Security Standards for Web Services Sitaraman Lakshminarayanan, GE Energy Add to Reading List Source URL: www.computer.org Language: English - Date: 2012-02-29 13:44:33 System software Web services Identity management Identity management systems WS-SecurityPolicy WS-Security Security Assertion Markup Language WS-SecureConversation WS-Trust Computing Security Computer security

UPDATE