Combining unit and specification-based testing for meta-model validation and verification

Information Systems ◽

10.1016/j.is.2016.06.008 ◽

2016 ◽

Vol 62 ◽

pp. 104-135 ◽

Cited By ~ 8

Author(s):

Jesús J. López-Fernández ◽

Esther Guerra ◽

Juan de Lara

Keyword(s):

Model Validation ◽

Validation And Verification ◽

Meta Model

Download Full-text

Meta-Model validation and verification with MetaBest

Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 ◽

10.1145/2642937.2648617 ◽

2014 ◽

Cited By ~ 5

Author(s):

Jesús J. López-Fernández ◽

Esther Guerra ◽

Juan de Lara

Keyword(s):

Model Validation ◽

Validation And Verification ◽

Meta Model

Download Full-text

Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification

Conceptual Modeling Perspectives ◽

10.1007/978-3-319-67271-7_11 ◽

2017 ◽

pp. 155-168 ◽

Cited By ~ 2

Author(s):

Martin Gogolla ◽

Khanh-Hoang Doan

Keyword(s):

Quality Improvement ◽

Model Validation ◽

Validation And Verification

Download Full-text

An integrated FEA software capability for dynamic model validation and verification

10.2514/6.1999-1595 ◽

1999 ◽

Cited By ~ 2

Author(s):

Timothy Hasselman ◽

David Zimmerman ◽

David Herendeen

Keyword(s):

Dynamic Model ◽

Model Validation ◽

Validation And Verification

Download Full-text

Meta-model Validation of Integrated MARTE and Component-Based Methodology Component Model for Embedded Real-Time Software

Software Engineering and Computer Systems - Communications in Computer and Information Science ◽

10.1007/978-3-642-22203-0_21 ◽

2011 ◽

pp. 246-256

Author(s):

Mohd Z. M. Zaki ◽

M. A. Isa ◽

Dayang N. A. Jawawi

Keyword(s):

Real Time ◽

Model Validation ◽

Component Model ◽

Meta Model

Download Full-text

Model validation and verification of large and complex space structures

Inverse Problems in Engineering ◽

10.1080/174159700088027722 ◽

2000 ◽

Vol 8 (2) ◽

pp. 93-118 ◽

Cited By ~ 17

Author(s):

David C. Zimmerman

Keyword(s):

Model Validation ◽

Complex Space ◽

Space Structures ◽

Validation And Verification

Download Full-text

MODEL VALIDATION AND VERIFICATION

10.1007/springerreference_6930 ◽

2011 ◽

Keyword(s):

Model Validation ◽

Validation And Verification

Download Full-text

A comprehensive water tunnel test of a horizontal axis marine hydrokinetic turbine for model validation and verification

The Journal of the Acoustical Society of America ◽

10.1121/1.4877446 ◽

2014 ◽

Vol 135 (4) ◽

pp. 2273-2273

Author(s):

Arnie A. Fontaine ◽

Ted G. Bagwell ◽

Michael L. Johnson ◽

Dean Capone

Keyword(s):

Model Validation ◽

Horizontal Axis ◽

Water Tunnel ◽

Validation And Verification ◽

Hydrokinetic Turbine ◽

Marine Hydrokinetic

Download Full-text

Surrogate Model Validation and Verification for Random Failure Analyses of Composites

Materials Horizons: From Nature to Nanomaterials - Recent Advances in Layered Materials and Structures ◽

10.1007/978-981-33-4550-8_13 ◽

2021 ◽

pp. 331-352

Author(s):

Subrata Kushari ◽

Arunasis Chakraborty ◽

Tanmoy Mukhyopadhyay ◽

Ravi Ranjan Kumar ◽

Saiket Ranjan Maity ◽

...

Keyword(s):

Model Validation ◽

Surrogate Model ◽

Validation And Verification ◽

Random Failure

Download Full-text

Model Validation and Verification of Data Mining from the Knowledge Workers Productivity Approach

Journal of Applied Sciences and Environmental Management ◽

10.4314/jasem.v15i1.65695 ◽

2011 ◽

Vol 15 (1) ◽

Cited By ~ 1

Author(s):

A Najafi

Keyword(s):

Data Mining ◽

Model Validation ◽

Knowledge Workers ◽

Validation And Verification

Download Full-text

Benefits of Meta-Model Validation for Real-Time Sewer System Decision Support

World Environmental and Water Resources Congress 2011 ◽

10.1061/41173(414)304 ◽

2011 ◽

Author(s):

Andrea Zimmer ◽

Barbara Minsker ◽

Arthur Schmidt ◽

Avi Ostfeld

Keyword(s):

Decision Support ◽

Real Time ◽

Model Validation ◽

Sewer System ◽

Meta Model

Download Full-text