System Validation via Constraint Modeling

System Validation via Constraint Modeling

Constraint modeling could be a very important system validation method, because its abilities are complementary to both testing and code inspection. In particular, even though the ability of constraint modeling to find errors is limited by the simplifications which are introduced when making a...

Mô tả chi tiết

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Waters, Richard C.
Ngôn ngữ:	en_US
Thông tin xuất bản:	2004
Chủ đề:	constraints validation modeling testing
Truy cập trực tuyến:	http://hdl.handle.net/1721.1/6051 http://lib.yhn.edu.vn/handle/YHN/739
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Tài liệu tương tự

Separation of aleatory and epistemic uncertainty in probabilistic model validation /Joshua Mullins a , You Ling a , Sankaran Mahadevan a,n , Lin Sun b , Alejandro Strachan b
Thông tin tác giả:: Mullins,Joshua, và những người khác

Validation of an agent based model using a participatory simulation gaming approach: The case of city logistics
Thông tin tác giả:: Anand,Nilesh

Submodular Maximization Subject to a Knapsack Constraint Under Noise Models
Thông tin tác giả:: Dung, T. K. Ha, và những người khác
Thông tin xuất bản: (2022)

Submodular Maximization Subject to a Knapsack Constraint Under Noise Models
Thông tin tác giả:: Dung T. K. Ha | Canh V. Pham, và những người khác
Thông tin xuất bản: (2022)

Validation of Pharmaceutical Processes Third Edition
Thông tin tác giả:: James Agalloco, và những người khác

Simulation of Methane Emission from Rice Paddy Fields in Vu Gia-Thu Bồn River Basin of Vietnam Using the DNDC Model: Field Validation and Sensitivity Analysis
Thông tin tác giả:: Ngô, Đức Minh, và những người khác
Thông tin xuất bản: (2015)

Inexact penalty decomposition methods for optimization problems with geometric constraints
Thông tin tác giả:: Christian, Kanzow, và những người khác
Thông tin xuất bản: (2023)

Role of calibration, validation, and relevance in multi-level uncertainty integration /Chenzhao Li, Sankaran Mahadevan
Thông tin tác giả:: Li,Chenzhao

Validity: Theoretical development and integrated arguments
Thông tin tác giả:: Micheline Chalhoub-Deville, và những người khác

Predicting future monthly residential energy consumption using building characteristics and climate data: A statistical learning approach
Thông tin tác giả:: Williams,Kristopher T.

Multi-constrained 3D topology optimization via augmented topological level-set /Shiguang Deng, Krishnan Suresh
Thông tin tác giả:: Deng,Shiguang

Model formulations for the capacitated lot-sizing problem with service-level constraints
Thông tin tác giả:: Stadtler, Hartmut
Thông tin xuất bản: (2020)

Constraint-based method for mining colossal patterns in high dimensional databases
Thông tin tác giả:: Thanh Long Nguyen, Bay Vo, Bao Huynh,...

Optimal dividends under a drawdown constraint and a curious square-root rule
Thông tin tác giả:: Hansjörg, Albrecher, và những người khác
Thông tin xuất bản: (2023)

Reliability and validity of health literacy questionnaire (new vietnamese version of HLS-EU-Q47) among mothers of children under 3-year at two vaccination centers in Hanoi in 2019
Thông tin tác giả:: Nguyen Thi Huong Thao
Thông tin xuất bản: (2022)

The point-to-point multi-region energy-saving trajectory planning for a mechatronic elevator system
Thông tin tác giả:: Chen,Kun-Yung

Assessment of the Ability of a Volume of Fluid Model to Reproduce the Efficiency of a Continuous Transverse Gully with Grate
Thông tin tác giả:: Lopes,Pedro

Mining Behavioral Sequence Constraints for Classification
Thông tin tác giả:: De Smedt, Johannes
Thông tin xuất bản: (2020)

Constraint Qualifications in Multiobjeetive Optimization Problems: Differentiable Case I
Thông tin tác giả:: MAEDA. T
Thông tin xuất bản: (2024)

Adversarial classification via distributional robustness with Wasserstein ambiguity
Thông tin tác giả:: Nam Ho-, Nguyen, và những người khác
Thông tin xuất bản: (2023)

A review of the potential and constraints for crossbreeding as a basis for goat production by smallholder farmers in Ethiopia
Thông tin tác giả:: Abebe, Belete Kuraz
Thông tin xuất bản: (2023)

3D numerical simulation and ground motion prediction: Veriﬁcation, validation and beyond – Lessons from the E2VP project / E. Maufroy, E. Chaljub, F. Hollender, P.-Y. Bard
Thông tin tác giả:: Hollender, F., và những người khác

A Rule for Committee Selection with Soft Diversity Constraints
Thông tin tác giả:: Aziz, Haris
Thông tin xuất bản: (2020)

The Texas Soil Observation Network:A Comprehensive Soil Moisture Dataset for Remote Sensing and Land Surface Model Validation
Thông tin tác giả:: Caldwell, T.G.
Thông tin xuất bản: (2020)

Đánh giá bài kiểm tra tiếng Anh chương trình tiên tiến tại một trường đại học công lập ở Việt Nam = Investigating the validity of the advanced educational program English test at a public university in Vietnam /Nông Thị Hiền Hương, Soubakeavathi Rethinasamy.
Thông tin tác giả:: Nông, Thị Hiền Hương., và những người khác

Classroom assessment : what teachers need to know
Thông tin tác giả:: Popham, W. James
Thông tin xuất bản: (2023)

On a multistage discrete stochastic optimization problem with stochastic constraints and nested sampling
Thông tin tác giả:: Thuy Anh Ta, và những người khác
Thông tin xuất bản: (2021)

On the morning commute problem with carpooling behavior under parking space constraint /Ling-Ling Xiao a , Tian-Liang Liu b , ∗ , Hai-Jun Huang
Thông tin tác giả:: Xiao,Ling-Ling

河北省汉字应用水平测试信度和效度分析 =An Analysis on Reliability and Validity of a Chinese Characters Proficiency Test in Hebei Province /曹昭.
Thông tin tác giả:: 曹, 昭.

Scheduling Algorithm For User Requirements On Cloud Computing Base On Deadline And Budget Constraints / Nguyen Hoang Ha, Nguyen Thanh Binh
Thông tin tác giả:: Nguyen Hoang Ha, và những người khác

Complexity classifications of Boolean constraint satisfaction problems / Nadia Creignou; Sanjeev Khanna; Madhu Sudan
Thông tin tác giả:: Creignou, Nadia, và những người khác

New instrumentation at the centre for harbour and coastal studies of Cedex:Examples and applications
Thông tin xuất bản: (2020)

GIVING AND RESPONDING TO COMPLIMENTS IN ENGLISH IN VALIDATION AND THE DEVIL WEARS PRADA / Mai Thi Thu Dong; Supervisor: Tran Thi Le Dung, Dr.
Thông tin tác giả:: Mai, Thi Thu Dong

Curved Raypaths of Shear Waves and Measurement Accuracy of Bender Elements in Centrifuge Model Tests
Thông tin tác giả:: Zhou, an-Guo

语用制约/压制假说 :The Pragma-constraint/coercion Hypothesis /侯国金.
Thông tin tác giả:: Hou, Guojin.

Chuyển mã ngôn ngữ trong các cuộc hội thoại:Khảo sát trường hợp /Lương Quỳnh Trang;Nguyễn Thụy Phương Lan.
Thông tin tác giả:: Lương Quỳnh Trang,ThS., và những người khác

Validity and reliability of a physical activity questionnaire for Vietnamese adolescents / Tang K Hong, Nguyen HHD Trang, Hidde P van der Ploeg...[và nh.ng.kh.]
Thông tin tác giả:: Tang, K. Hong, và những người khác

CoSchd: Coordinated Scheduling With Channel and Load Awareness for Alleviating Cellular Congestion
Thông tin tác giả:: Wu,Huasen

Prognostic models for outcome prediction following in-hospital cardiac arrest using pre-arrest factors: a systematic review, meta-analysis and critical appraisal
Thông tin tác giả:: Casey Grandbois van, Ravenhorst, và những người khác
Thông tin xuất bản: (2023)

Experimental Evaluation of Drainage Pipes as a Mitigation against Liquefaction-Induced Settlement of Structures
Thông tin tác giả:: Rasouli,Rouzbeh