Report on Automated Semantic Analysis of Scientific and Engineering Codes PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Report on Automated Semantic Analysis of Scientific and Engineering Codes PDF full book. Access full book title Report on Automated Semantic Analysis of Scientific and Engineering Codes by National Aeronautics and Space Administration (NASA). Download full books in PDF and EPUB format.
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
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
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...
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
Author: IEEE Computer Society Publisher: Institute of Electrical & Electronics Engineers(IEEE) ISBN: 9780769511313 Category : Computers Languages : en Pages : 342
Book Description
Based on the 9th IEEE International Workshop on Program Comprehension (IWPC 2001), this volume covers such topics as: software quality analysis; architecture recovery; reverse engineering; tools and environments; program comprehension studies; metrics and slicing; and clustering techniques.
Author: Phillip C.-Y. Sheu Publisher: John Wiley & Sons ISBN: 0470920874 Category : Computers Languages : en Pages : 408
Book Description
Presents the state of the technology and points to future directions for semantic computing Semantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This remarkable contributed work examines the art, engineering, technology, and applications of the field. Moreover, it brings together researchers from such disciplines as natural language processing, software engineering, multimedia semantics, semantic Web, signal processing, and pattern recognition in order to provide a single source that presents the state of the technology and points to new breakthroughs on the horizon. Semantic Computing begins with an introduction that explores the concepts, technology, applications, and future of semantic computing. Next, the book is divided into four parts: Part One: Semantic Analysis Part Two: Semantic Languages and Integration Part Three: Semantic Applications Part Four: Semantic Programming and Interface As readers progress through the book, they,ll learn not only the underlying science, but also the fundamental technological building blocks of semantic computing. Moreover, they,ll discover a variety of cross-disciplinary solutions to current computing and communication problems. Throughout the book, references to the primary literature enable further investigation of each individual topic. Semantic Computing is ideal for industrial managers, researchers, and engineers seeking to design the next generation of computing systems in order to better meet user needs. It is also recommended as a textbook for senior undergraduate and graduate-level semantic computing courses.
Author: National Aeronautics and Space Administration (NASA)
Author: National Aeronautics and Space Administration (NASA)
Author: United States. National Aeronautics and Space Administration
Author: 
Author: 
Author: National Aeronautics and Space Adm Nasa
Author: National Aeronautics and Space Administration (NASA)
Author: Mark E. M. Stewart
Author: 
Author: IEEE Computer Society
Author: Phillip C.-Y. Sheu