Результаты поиска - program simulation https function tests https

1

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

Опубликовано 2015

Оглавление: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Полный текст

Электронный ресурс eКнига

2

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”
Полный текст

Электронный ресурс eКнига

3

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...”
Полный текст

Электронный ресурс eКнига

4

Hardware and Software, Verification and Testing Second International Haifa Verification Conference...

Опубликовано 2007

Оглавление: “... Functionality Based on Vector Simulation -- Automatic Fault Localization for Property Checking -- Verification...”
Полный текст

Электронный ресурс eКнига

5

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Опубликовано 2014

Оглавление: “... -- Industrial Experiences -- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated...”
Полный текст

Электронный ресурс eКнига

6

Functional Magnetic Resonance Imaging Processing

по Li, Xingfeng., Li, Xingfeng.
Опубликовано 2014

Оглавление: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Полный текст

Электронный ресурс eКнига

7

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Опубликовано 2015

Оглавление: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Полный текст

Электронный ресурс eКнига

8

Integrated Circuit Test Engineering Modern Techniques /

по Grout, Ian A., Grout, Ian A.
Опубликовано 2006

Оглавление: “... Simulation -- Automatic Test Equipment (ATE) and Production Test -- Test Economics....”
Полный текст

Электронный ресурс eКнига

9

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”
Полный текст

Электронный ресурс eКнига

10

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Опубликовано 2014

Оглавление: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Полный текст

Электронный ресурс eКнига

11

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Опубликовано 2007

Оглавление: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Полный текст

Электронный ресурс eКнига

12

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Опубликовано 2007

Оглавление: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
Полный текст

Электронный ресурс eКнига

13

VEE Pro: Practical Graphical Programming

по Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Опубликовано 2005

Оглавление: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Полный текст

Электронный ресурс eКнига

14

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Опубликовано 2007

Оглавление: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Полный текст

Электронный ресурс eКнига

15

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Estimation with Monte Carlo Simulation -- The Pomodoro Technique for Sustainable Pace in Extreme Programming...”
Полный текст

Электронный ресурс eКнига

16

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /

Опубликовано 2007

Оглавление: “... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...”
Полный текст

Электронный ресурс eКнига

17

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Опубликовано 2008

Оглавление: “...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”
Полный текст

Электронный ресурс eКнига

18

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Опубликовано 2005

Оглавление: “... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”
Полный текст

Электронный ресурс eКнига

19

Bayesian Computation with R

по Albert, Jim., Albert, Jim.
Опубликовано 2007

Предметы: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

20

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /

Опубликовано 2014

Оглавление: “... Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска