During maintenance and particularly during corrective and perfective tasks, systems tend to exhibit a weight gain. As a result, their quality tends to degrade. Software comprehension is vital in order to assess system quality. In this research, we aim at deploying dynamic analysis of Ada programs for obtaining comprehension, and applying measurements to assess their quality. Program instrumentation is performed non-intrusively by AspectAda, an aspect-oriented extension to Ada. Events which are required for this analysis are captured as execution traces. We have defined a relational database schema to save execution traces, and a set of queries to obtain measures of quality metrics. New Ada-specific metrics are introduced and existing metric...
This paper presents several techniques for improving the accuracy of static analysis of concurrent A...
This paper presents FLAVERS, a nite state verication approach that analyzes whether concurrent or se...
This paper explores a new framework for calculating hybrid system metrics using software quality met...
Abstract A new correctness concept, called partial-order preserving property, for event-driven execu...
The increase dependence on software aspects has led the society to emphasize the importance of softw...
A visual execution model for Ada tasking can help programmers attain a deeper understanding of the t...
This newsletter is the second in a series development process. As a result, we are describing a coll...
A major benefit of object oriented software development is the support for reuse provided by object ...
In this paper, we describe a Software Reconnaissance method for locating product features in code. T...
This paper reports on the development of the data binding tool and its use in Ada source code reusa...
The Ada Compiler Validation Capability (ACVC) is a large collection of programs used to verify that...
The Automated Code Translation Tool (ACTT) was developed at Naval Postgraduate School to partially a...
Vita.Dynamic analysis is any analysis of the execution behavior of a program with a particular set (...
A safe system is defined as a system that prevents unsafe states from producing safety failures, whe...
Preprint of paper published in: IEEE Transactions on Software Engineering, 35 (5), 2009; doi:10.1109...
This paper presents several techniques for improving the accuracy of static analysis of concurrent A...
This paper presents FLAVERS, a nite state verication approach that analyzes whether concurrent or se...
This paper explores a new framework for calculating hybrid system metrics using software quality met...
Abstract A new correctness concept, called partial-order preserving property, for event-driven execu...
The increase dependence on software aspects has led the society to emphasize the importance of softw...
A visual execution model for Ada tasking can help programmers attain a deeper understanding of the t...
This newsletter is the second in a series development process. As a result, we are describing a coll...
A major benefit of object oriented software development is the support for reuse provided by object ...
In this paper, we describe a Software Reconnaissance method for locating product features in code. T...
This paper reports on the development of the data binding tool and its use in Ada source code reusa...
The Ada Compiler Validation Capability (ACVC) is a large collection of programs used to verify that...
The Automated Code Translation Tool (ACTT) was developed at Naval Postgraduate School to partially a...
Vita.Dynamic analysis is any analysis of the execution behavior of a program with a particular set (...
A safe system is defined as a system that prevents unsafe states from producing safety failures, whe...
Preprint of paper published in: IEEE Transactions on Software Engineering, 35 (5), 2009; doi:10.1109...
This paper presents several techniques for improving the accuracy of static analysis of concurrent A...
This paper presents FLAVERS, a nite state verication approach that analyzes whether concurrent or se...
This paper explores a new framework for calculating hybrid system metrics using software quality met...