Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program simulation » programs simulation, program formulation, hologram simulation
simulation https » computation https, education https, migration https
https function » its function, sites function, ups function
function test » function tests
test https » net https, east https
program simulation » programs simulation, program formulation, hologram simulation
simulation https » computation https, education https, migration https
https function » its function, sites function, ups function
function test » function tests
test https » net https, east https
1
Published 2015
Table of Contents:
“... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Functionality Based on Vector Simulation -- Automatic Fault Localization for Property Checking -- Verification...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... -- Industrial Experiences -- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated...”View full text
Electronic
eBook
6
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”View full text
Electronic
eBook
8
Table of Contents:
“... Simulation -- Automatic Test Equipment (ATE) and Production Test -- Test Economics....”
View full text
View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”View full text
Electronic
eBook
11
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
13
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
14
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Estimation with Monte Carlo Simulation -- The Pomodoro Technique for Sustainable Pace in Extreme Programming...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”View full text
Electronic
eBook
19
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework...”View full text
Electronic
eBook