@inproceedings{e8ef30db23c14c65950d2e3f05dcc207,
title = "Design assessment of Ada systems using static analysis",
abstract = "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.",
author = "Alexios Delis and Thomas, {William M.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; Annual Ada-Europe Conference, 1991 ; Conference date: 13-05-1991 Through 17-05-1991",
year = "1991",
doi = "10.1007/BFb0018499",
language = "English (US)",
isbn = "9783540540922",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "227--250",
editor = "Dimitris Christodoulakis",
booktitle = "Ada",
}