Suchergebnisse - program derivation https functionality testing https

Andere Suchmöglichkeiten:
functionality testing » functionality setting , functional testing , functionality using
https functionality » its functionality , bags functionality , cross functionality
program derivation » program termination , program verification , program description
derivation https » education https , animation https , sedation https
testing https » teaching https , being https , writing https

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

von Hunt, John., Hunt, John.
Veröffentlicht 2014

Inhaltsangabe: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... and Frameworks -- An Approach to Derive Usage Models Variants for Model-Based Testing -- AUTSEG: Automatic Test...”
Volltext

Elektronisch E-Book

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Volltext

Elektronisch E-Book

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
Volltext

Elektronisch E-Book

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”
Volltext

Elektronisch E-Book

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”
Volltext

Elektronisch E-Book

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... as Hard SAT/CSP Benchmarks -- Test Strategy Generation Using Quantified CSPs -- Perfect Derived...”
Volltext

Elektronisch E-Book

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Veröffentlicht 2015

Inhaltsangabe: “... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...”
Volltext

Elektronisch E-Book

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Veröffentlicht 2005

Inhaltsangabe: “...-Oriented Model for the Design of Safe Multi-threaded Applications -- TeStor: Deriving Test Sequences from...”
Volltext

Elektronisch E-Book

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Derivation Process -- A Metamodel Approach to Architecture Variability in a Product Line -- An Approach...”
Volltext

Elektronisch E-Book

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Veröffentlicht 2010

Inhaltsangabe: “...: A Tool for On-Line Model-Driven Test Derivation and Execution -- SLAB: A Certifying Model Checker...”
Volltext

Elektronisch E-Book

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”
Volltext

Elektronisch E-Book

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Veröffentlicht 2013

Inhaltsangabe: “... -- Encoding Monomorphic and Polymorphic Types -- Deriving Probability Density Functions from Probabilistic...”
Volltext

Elektronisch E-Book

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Volltext

Elektronisch E-Book

Linking and Aligning Scores and Scales

Veröffentlicht 2007

Inhaltsangabe: “... Scores Derived Under Different Modes of Test Administration -- Tests in Transition: Discussion...”
Volltext

Elektronisch E-Book

Topics in Nonparametric Statistics Proceedings of the First Conference of the International Society for Nonparametric Statistics /

Veröffentlicht 2014

Inhaltsangabe: “...A cost based reweighed scheme of Principal Support Vector Machine -- Power assessment of a new test...”
Volltext

Elektronisch E-Book

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
Volltext

Elektronisch E-Book

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
Volltext

Elektronisch E-Book

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Volltext

Elektronisch E-Book

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test...”
Volltext

Elektronisch E-Book

Suche einschränken