Arama Sonuçları - programming using https functionality testing https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Tam Metin Erişim

Elektronik Ekitap

2

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Logic Programming -- EasyCheck — Test Data for Free....”
Tam Metin Erişim

Elektronik Ekitap

3

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...”
Tam Metin Erişim

Elektronik Ekitap

4

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”
Tam Metin Erişim

Elektronik Ekitap

5

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using...”
Tam Metin Erişim

Elektronik Ekitap

6

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Baskı/Yayın Bilgisi 2007

İçindekiler: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Tam Metin Erişim

Elektronik Ekitap

7

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

8

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Tam Metin Erişim

Elektronik Ekitap

9

Hardware and Software, Verification and Testing Second International Haifa Verification Conference...

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”
Tam Metin Erişim

Elektronik Ekitap

10

A Beginner's Guide to Scala, Object Orientation and Functional Programming

Yazar: Hunt, John., Hunt, John.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Tam Metin Erişim

Elektronik Ekitap

11

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference...

Baskı/Yayın Bilgisi 2012

İçindekiler: “... for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis...”
Tam Metin Erişim

Elektronik Ekitap

12

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
Tam Metin Erişim

Elektronik Ekitap

13

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Tam Metin Erişim

Elektronik Ekitap

14

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Using Uninterpreted Functions -- Synthesizing Finite-State Protocols from Scenarios and Requirements...”
Tam Metin Erişim

Elektronik Ekitap

15

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Tam Metin Erişim

Elektronik Ekitap

16

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Tam Metin Erişim

Elektronik Ekitap

17

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... into Existential 2-HORN -- Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT -- sQueezeBF...”
Tam Metin Erişim

Elektronik Ekitap