Abstract -- Our recent experience in operations Desert Shield and Desert Storm has clearly demonstrated the criticality of software reliability end that truly reliable software Is indeed possible. One tool we can employ to enhance our software reliability is the classic scientific computational reliability technique of dimensional integrity, or unite checking. The Ads programming language makes it easy to implement units checking. A PHYSICAL_QUANTITY type Is declared which ham entries for both the floating point numeric value of s variable, and Integer entries for exponents of the fundamental physical unite of mass, length, and time. The Ads feature of "operator overloading" allows creation of symbols to porters arithmetic and relational operations on these variables . For example, the multiplication operation "*" ie overloaded eo that the numeric values of the two operande are multiplied, and the exponents of their fundamental units are added. An ASSIGN function Is then written to check that the units computed in an expression are equal to the units of the variable to which s new numeric value is assigned. Further reliability ie added by "information hiding" through limited private types, and reusability and modifiability are added by making the package generic. For scientific software, this generic package is as reusable as package Standard.
End of preview. The entire article is 14 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/a-reusable-ada-package-for-scientific-dimensional-integrity-veo8Blid70
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
A reusable Ada package for scientific dimensional integrity
Macpherson, George W.
Follow ACM SIGAda Ada Letters
, Volume XVI (3)
Association for Computing Machinery – May 1, 1996
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
