Publication | Closed Access
Computational Science Demands a New Paradigm
162
Citations
13
References
2005
Year
EngineeringVerificationComputer-aided VerificationComputational ComplexityComplex CodesModel VerificationFormal VerificationPhilosophy Of Computer ScienceData ScienceMechanical VerificationComputational ParadigmBetter OrganizationComputational ThinkingComputer EngineeringComputer ScienceComputational ScienceComputational Science DemandsAutomated ReasoningFormal MethodsCode Validation
The field has reached a threshold at which better organization becomes crucial. New methods of verifying and validating complex codes are mandatory if computational science is to fulfill its promise for science and society.
| Year | Citations | |
|---|---|---|
Page 1
Page 1