Design assessment of Ada systems using static analysis

Alexios Delis, William M. Thomas

Research output: Chapter in Book/Report/Conference proceedingConference contribution


A well structured design is an essential feature in the development of a software system. Assessment of the design throughout the development process is therefore an important task. However, it can be a difficult and highly subjective process. We present tools to assist in the evaluation of designs of Ada systems. These tools furnish two different abstract views of the system structure, one focusing on control flow and the other on data coupling. We identify the effect of three classes of design methodologies on these views, and discuss how to use the views to facilitate design assessment.

Original languageEnglish (US)
Title of host publicationAda
Subtitle of host publicationThe Choice for 1992 - Ada-Europe International Conference, Proceedings
EditorsDimitris Christodoulakis
PublisherSpringer Verlag
Number of pages24
ISBN (Print)9783540540922
StatePublished - 1991
EventAnnual Ada-Europe Conference, 1991 - Athens, Greece
Duration: May 13 1991May 17 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume499 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceAnnual Ada-Europe Conference, 1991

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Design assessment of Ada systems using static analysis'. Together they form a unique fingerprint.

Cite this