journal article
LitStream Collection
Home
doi: 10.1145/181476.181479pmid: N/A
The upcoming standardization of the Ada Semantic Interface Specification (ASIS) makes possible the development of portable static analysis tools for Ada programs. This paper introduces this class of back-end CASE tools, lists their capabilities, and describes how they can be used during the software-development process to increase overall software quality. The description is based on one such tool: the Ada Analyzer developed by Little Tree Consulting.
doi: 10.1145/181476.181481pmid: N/A
There has been a significant evolution in the design of Ada9X with respect to meeting memory management requirements. This paper will introduce the memory management problem, and possible approaches in Ada83 and Ada9X. Today the Committee Draft includes full support for user-defined assignment and finalization, and this paper will illustrate how the new language features can be used to provide solutions that are both elegant and robust.An example of a primitive list component is used to illustrate the problem, and to illustrate the evolution from Ada83 to Ada9X.
doi: 10.1145/181476.181482pmid: N/A
One aspect of code quality is a design (or a set of source code) that contains only things that are relevant to the solution of the problem at hand. There are no redundant or superfluous entities. In a "good" (high quality) design everything has a purpose, and its purpose is clear. Code quality can be improved by eliminating redundant and unnecessary declarations. This paper provides a technique that can help improve code quality. It identifies several anomalies that can exist in source code, provides a means of identifying the anomalies, and suggests methods to eliminate or minimize the impact of the anomalies.
Showing 1 to 8 of 8 Articles