Canlyniadau Chwilio - ((function computation) or (functions computation)) programming testing methods case*

Chwilio eraill:
functions computation » functions composition , function composition , functional composition
function computation » function computing , function decomposition , section computational
programming testing » programming designing , programming reasoning , programming extending
testing methods » tests methods , test methods , learning methods

Computational Methods

Cyhoeddwyd 2006

Tabl Cynhwysion: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
Cael y testun llawn

Electronig eLyfr

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”
Cael y testun llawn

Electronig eLyfr

Reflections on the Teaching of Programming Methods and Implementations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”
Cael y testun llawn

Electronig eLyfr

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
Cael y testun llawn

Electronig eLyfr

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case...”
Cael y testun llawn

Electronig eLyfr

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
Cael y testun llawn

Electronig eLyfr

Electronic Engineering and Computing Technology

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
Cael y testun llawn

Electronig eLyfr

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”
Cael y testun llawn

Electronig eLyfr

Automated model-based test case generation using UML activity diagram

gan Monim, Md Abdul
Cyhoeddwyd 2018

Pynciau: “...Computer software...”
Cael y testun llawn

Thesis

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”
Cael y testun llawn

Electronig eLyfr

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”
Cael y testun llawn

Electronig eLyfr

Advances in Communication and Computing

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Test Cases Minimization for Object Oriented Programs....”
Cael y testun llawn

Electronig eLyfr

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”
Cael y testun llawn

Electronig eLyfr

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”
Cael y testun llawn

Electronig eLyfr

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”
Cael y testun llawn

Electronig eLyfr

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
5
6
Nesaf »
[6]

Manylu'r Chwiliad