1
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Drivers -- Verified Process-Context Switch for C-Programmed Kernels -- Paper from VSTTE 2005 -- Where...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion: ... and Assessment -- The TDD-Guide Training and Guidance Tool for Test-Driven Development -- JExample: Exploiting...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...
Cael y testun llawn
Electronig eLyfr
6
gan Hunt, John., Hunt, John.
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
Cael y testun llawn
Electronig eLyfr
8
gan Love, Jonathan., Love, Jonathan.
Cyhoeddwyd 2007
Tabl Cynhwysion: ... -- Tendering and Vendor Selection -- Functional Specifications -- Design, Development, Testing and Acceptance...
Cael y testun llawn
Electronig eLyfr
9
gan Grout, Ian A., Grout, Ian A.
Cyhoeddwyd 2006
Tabl Cynhwysion: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2008
Tabl Cynhwysion: ... -- Challenges in Evaluating SOA Test Processes -- Criteria to Compare Cloud Computing with Current Database...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2011
Tabl Cynhwysion: ... Model for Test Equating (George Karabatsos and Stephen G. Walker) -- Generalized Equating Functions...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
Cael y testun llawn
Electronig eLyfr
14
Tabl Cynhwysion: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2010
Tabl Cynhwysion: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Processes -- Design-Opportunities and Limitations on Additive Manufacturing Determined by a Suitable Test...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2013
Tabl Cynhwysion: ... -- Objective Function Design in Real-number-coding Genetic Algorithm for Laser-cutting Tool-path Minimization...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2008
Tabl Cynhwysion: ... and Influence on Quality -- Design Reasoning Improves Software Design Quality -- A Tool to Visualize...
Cael y testun llawn
Electronig eLyfr