Author: United States. National Aeronautics and Space Administration
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Report on Automated Semantic Analysis of Scientific and Engineering Codes Final Report ... Nasa
Author: United States. National Aeronautics and Space Administration
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Report on Automated Semantic Analysis of Scientific and Engineering Codes
Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
ISBN: 9781721271146
Category :
Languages : en
Pages : 24
Book Description
The loss of the Mars Climate Orbiter due to a software error reveals what insiders know: software development is difficult and risky because, in part, current practices do not readily handle the complex details of software. Yet, for scientific software development the MCO mishap represents the tip of the iceberg; few errors are so public, and many errors are avoided with a combination of expertise, care, and testing during development and modification. Further, this effort consumes valuable time and resources even when hardware costs and execution time continually decrease. Software development could use better tools! This lack of tools has motivated the semantic analysis work explained in this report. However, this work has a distinguishing emphasis; the tool focuses on automated recognition of the fundamental mathematical and physical meaning of scientific code. Further, its comprehension is measured by quantitatively evaluating overall recognition with practical codes. This emphasis is necessary if software errors-like the MCO error-are to be quickly and inexpensively avoided in the future. This report evaluates the progress made with this problem. It presents recommendations, describes the approach, the tool's status, the challenges, related research, and a development strategy. Stewart. Maark E. M. and Follen, Greg (Technical Monitor) Glenn Research Center NASA/CR-2001-211078, E-12917, NAS 1.26:211078
Publisher: Createspace Independent Publishing Platform
ISBN: 9781721271146
Category :
Languages : en
Pages : 24
Book Description
The loss of the Mars Climate Orbiter due to a software error reveals what insiders know: software development is difficult and risky because, in part, current practices do not readily handle the complex details of software. Yet, for scientific software development the MCO mishap represents the tip of the iceberg; few errors are so public, and many errors are avoided with a combination of expertise, care, and testing during development and modification. Further, this effort consumes valuable time and resources even when hardware costs and execution time continually decrease. Software development could use better tools! This lack of tools has motivated the semantic analysis work explained in this report. However, this work has a distinguishing emphasis; the tool focuses on automated recognition of the fundamental mathematical and physical meaning of scientific code. Further, its comprehension is measured by quantitatively evaluating overall recognition with practical codes. This emphasis is necessary if software errors-like the MCO error-are to be quickly and inexpensively avoided in the future. This report evaluates the progress made with this problem. It presents recommendations, describes the approach, the tool's status, the challenges, related research, and a development strategy. Stewart. Maark E. M. and Follen, Greg (Technical Monitor) Glenn Research Center NASA/CR-2001-211078, E-12917, NAS 1.26:211078
Report on Automated Semantic Analysis of Scientific and Engineering Codes
Progress in The Semantic Analysis of Scientific Code
Machine Intelligence and Robotics
Author: NASA Study Group on Machine Intelligence and Robotics
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 276
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 276
Book Description
Progress in the Semantic Analysis of Scientific Code
Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
ISBN: 9781721227143
Category :
Languages : en
Pages : 26
Book Description
This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code. This procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, and parsing this annotated code using multiple, independent expert parsers. These semantic parsers encode domain knowledge and recognize formulae in different disciplines including physics, numerical methods, mathematics, and geometry. The parsers will automatically recognize and document some static, semantic concepts and help locate some program semantic errors. These techniques may apply to a wider range of scientific codes. If so, the techniques could reduce the time, risk, and effort required to develop and modify scientific codes. Stewart, Mark Glenn Research Center NASA/CR-2000-209947, E-12194, NAS 1.26:209947
Publisher: Createspace Independent Publishing Platform
ISBN: 9781721227143
Category :
Languages : en
Pages : 26
Book Description
This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code. This procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, and parsing this annotated code using multiple, independent expert parsers. These semantic parsers encode domain knowledge and recognize formulae in different disciplines including physics, numerical methods, mathematics, and geometry. The parsers will automatically recognize and document some static, semantic concepts and help locate some program semantic errors. These techniques may apply to a wider range of scientific codes. If so, the techniques could reduce the time, risk, and effort required to develop and modify scientific codes. Stewart, Mark Glenn Research Center NASA/CR-2000-209947, E-12194, NAS 1.26:209947
A Semantic Analysis Method for Scientific and Engineering Code
Author: National Aeronautics and Space Adm Nasa
Publisher:
ISBN: 9781729062975
Category :
Languages : en
Pages : 34
Book Description
This paper develops a procedure to statically analyze aspects of the meaning or semantics of scientific and engineering code. The analysis involves adding semantic declarations to a user's code and parsing this semantic knowledge with the original code using multiple expert parsers. These semantic parsers are designed to recognize formulae in different disciplines including physical and mathematical formulae and geometrical position in a numerical scheme. In practice, a user would submit code with semantic declarations of primitive variables to the analysis procedure, and its semantic parsers would automatically recognize and document some static, semantic concepts and locate some program semantic errors. A prototype implementation of this analysis procedure is demonstrated. Further, the relationship between the fundamental algebraic manipulations of equations and the parsing of expressions is explained. This ability to locate some semantic errors and document semantic concepts in scientific and engineering code should reduce the time, risk, and effort of developing and using these codes. Stewart, Mark E. M. Glenn Research Center NAS3-27816; RTOP 509-10-11...
Publisher:
ISBN: 9781729062975
Category :
Languages : en
Pages : 34
Book Description
This paper develops a procedure to statically analyze aspects of the meaning or semantics of scientific and engineering code. The analysis involves adding semantic declarations to a user's code and parsing this semantic knowledge with the original code using multiple expert parsers. These semantic parsers are designed to recognize formulae in different disciplines including physical and mathematical formulae and geometrical position in a numerical scheme. In practice, a user would submit code with semantic declarations of primitive variables to the analysis procedure, and its semantic parsers would automatically recognize and document some static, semantic concepts and locate some program semantic errors. A prototype implementation of this analysis procedure is demonstrated. Further, the relationship between the fundamental algebraic manipulations of equations and the parsing of expressions is explained. This ability to locate some semantic errors and document semantic concepts in scientific and engineering code should reduce the time, risk, and effort of developing and using these codes. Stewart, Mark E. M. Glenn Research Center NAS3-27816; RTOP 509-10-11...
Monthly Catalog of United States Government Publications
Author:
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1154
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1154
Book Description