Applicability of Software Validation Techniques to Scientific Programs.
William E. HowdenPublished in: ACM Trans. Program. Lang. Syst. (1980)
Keyphrases
- free software
- control flow
- program slicing
- software development
- software design
- data mining
- artificial intelligence
- software systems
- software tools
- hardware designs
- application programs
- science education
- scientific data
- software architecture
- computer systems
- source code
- user interface
- case study
- software components
- software projects
- logic programs
- software testing
- software package
- scientific discovery
- learning environment
- programming environments
- website
- neural network