Prof Essay

2002 Words9 Pages
Benefits of SPARK a subset of ada SPARK is a formally-defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety (e.g., avionics in aircraft/spacecraft, or medical systems and process control software in nuclear power plants) or for business integrity (for example financial software for banking and insurance companies). Technical benefits: Flexibility Flexibility in development is obtained through a general separate compilation facility that supports traditional “bottom-up” methods (usage of existing libraries) as well as top-down techniques (functional decomposition). SPARK’s hierarchical library mechanism allows a module to be extended without modifying or recompiling the original, and greatly eases the job of defining an architecture for large systems. Avoidance of “Namespace Pollution” “Namespace pollution” occurs when, due to language semantics, otherwise-irrelevant global names become visible and increase the likelihood of clashes with locally-defined names. This can cause serious problems on large projects, sometimes leading to ad hoc solutions such as lists of names that the programmer needs to avoid using. SPARK was designed to minimize the chances for namespace pollution; relevant features include the package construct, the hierarchical library mechanism, the Ada 95 “use type” feature, and the block structure semantics. Data Abstraction and Information Hiding The separation between interface and implementation, and the limitations on how a name can be referenced depending on where it is defined, form the basis of the classical software engineering techniques known as data abstraction and information hiding. These principles are

More about Prof Essay

Open Document