1
Publicado em 2015
Sumário: ... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2007
Sumário: ... Functionality Based on Vector Simulation -- Automatic Fault Localization for Property Checking -- Verification...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2014
Sumário: ... -- Industrial Experiences -- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Por Li, Xingfeng., Li, Xingfeng.
Publicado em 2014
Sumário: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2015
Sumário: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Por Grout, Ian A., Grout, Ian A.
Publicado em 2006
Sumário: ... Simulation -- Automatic Test Equipment (ATE) and Production Test -- Test Economics....
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2014
Sumário: ... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2007
Sumário: ... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2007
Sumário: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2007
Sumário: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2008
Sumário: ... Estimation with Monte Carlo Simulation -- The Pomodoro Technique for Sustainable Pace in Extreme Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2007
Sumário: ... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2008
Sumário: ...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2005
Sumário: ... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Por Albert, Jim., Albert, Jim.
Publicado em 2007
Assuntos: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2014
Sumário: ... Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework...
Obter o texto integral
Recurso Electrónico livro electrónico