Constraint Solving for Sequences in Software Validation and Verification

Lecture Notes in Computer Science - Declarative Programming for Knowledge Management ◽

10.1007/11963578_3 ◽

2006 ◽

pp. 25-37 ◽

Cited By ~ 1

Author(s):

Nikolai Kosmatov

Keyword(s):

Constraint Solving ◽

Software Validation ◽

Validation And Verification

Download Full-text

Approaches for agromonitoring data processing software validation and verification

Energy and automation ◽

10.31548/energiya2018.04.075 ◽

2018 ◽

Vol 2018 (4) ◽

pp. 75-82

Author(s):

O.M. Tkachenko ◽

◽

T.A. Baranova ◽

Keyword(s):

Data Processing ◽

Software Validation ◽

Validation And Verification ◽

Data Processing Software ◽

Processing Software

Download Full-text

Software validation and verification - a state of the art report(Panel Discussion)

Proceedings of the 1978 annual conference on - ACM 78 ◽

10.1145/800178.810132 ◽

1978 ◽

Author(s):

Terry A. Straeter ◽

Carlo Broglio ◽

Marilyn Fujii ◽

Leon Stucki ◽

Sabina Saib ◽

...

Keyword(s):

State Of The Art ◽

Panel Discussion ◽

Software Validation ◽

Validation And Verification

Download Full-text

Software validation and verification rules

Information Security Best Practices ◽

10.1016/b978-187870796-3/50013-3 ◽

2002 ◽

pp. 119-123

Author(s):

George L Stefanek

Keyword(s):

Software Validation ◽

Validation And Verification

Download Full-text

In-vivo and pre-treatment quality assurance software validation and verification

IFMBE Proceedings - World Congress on Medical Physics and Biomedical Engineering, June 7-12, 2015, Toronto, Canada ◽

10.1007/978-3-319-19387-8_164 ◽

2015 ◽

pp. 671-673

Author(s):

E. Vanzi ◽

L. Reversi ◽

G. Giani ◽

C. Arilli ◽

P. Bonomo ◽

...

Keyword(s):

Quality Assurance ◽

Treatment Quality ◽

Software Validation ◽

Validation And Verification ◽

Pre Treatment

Download Full-text

INTEGRAL-an integrated framework for distributed software validation and verification

[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s ◽

10.1109/ftdcs.1988.26711 ◽

2003 ◽

Cited By ~ 4

Author(s):

C.K. Chang ◽

C.-C. Song ◽

Y.-F. Chang

Keyword(s):

Software Validation ◽

Validation And Verification ◽

Distributed Software ◽

Integrated Framework

Download Full-text

Inception of Software Validation and Verification Practices within CMMI Level 2

2009 Fourth International Conference on Software Engineering Advances ◽

10.1109/icsea.2009.84 ◽

2009 ◽

Cited By ~ 6

Author(s):

Paula Monteiro ◽

Ricardo J. Machado ◽

Rick Kazman

Keyword(s):

Software Validation ◽

Validation And Verification ◽

Level 2

Download Full-text

CaveMan Enterprise version 1.0 Software Validation and Verification.

10.2172/1160293 ◽

2014 ◽

Author(s):

David Hart

Keyword(s):

Software Validation ◽

Validation And Verification

Download Full-text

Designing a configuration control mechanism for a flight software validation facility

10.2514/6.1985-6012 ◽

1985 ◽

Author(s):

R. SMITH-TAYLOR ◽

M. NOLAND

Keyword(s):

Control Mechanism ◽

Software Validation ◽

Configuration Control

Download Full-text

Development, validation and verification of the Momentum Source Model for discrete rotor blades

10.31274/etd-180810-3032 ◽

2011 ◽

Author(s):

Kanchan Guntupalli

Keyword(s):

Source Model ◽

Rotor Blades ◽

Validation And Verification

Download Full-text

Greenhouse gases. Requirements for greenhouse gas validation and verification bodies for use in accreditation or other forms of recognition

10.3403/30134564u ◽

2015 ◽

Keyword(s):

Greenhouse Gases ◽

Greenhouse Gas ◽

Validation And Verification

Download Full-text