journal article
LitStream Collection
Home
IBM's system object Model (SOM) provides a powerful toolset for building object-oriented applications in multiple languages on multiple platforms. It is fully compliant with the Object Management Group's (OMG) Common Request Broker Architecture (CORBA). OC System' PowAda product allows Ada95 programmers “first-class” access to SOM. This article describes the use of SOM classes to build a simple “groupware” application in Ada95.
doi: 10.1145/382185.383006pmid: N/A
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.
Showing 1 to 5 of 5 Articles