الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
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
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
1
منشور في 2006
جدول المحتويات:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2015
جدول المحتويات:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2007
جدول المحتويات:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2008
جدول المحتويات:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2007
جدول المحتويات:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2007
جدول المحتويات:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2005
جدول المحتويات:
“...Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2010
جدول المحتويات:
“... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2005
جدول المحتويات:
“... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2007
جدول المحتويات:
“...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
بواسطة Monim, Md Abdul
منشور في 2018
الموضوعات:
“...Computer software...”منشور في 2018
احصل على النص الكامل
أطروحة
14
منشور في 2007
جدول المحتويات:
“... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2015
جدول المحتويات:
“... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2015
جدول المحتويات:
“... Test Cases Minimization for Object Oriented Programs....”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2014
جدول المحتويات:
“... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2010
جدول المحتويات:
“... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2012
جدول المحتويات:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني