Assessment of the Java Programming Language for use in High Integrity Systems
J. Kwon, A. Wellings and S. King
This paper sets a goal of investigating the use of Java in the development of high integrity systems. Important requirements of programming languages for the development of high integrity software are first surveyed. Based on these, we develop several criteria that are used for the following assessment of Java. A summary of the assessment is provided before we go on to review a few existing subsets of the language.
BibTex Entry
@techreport{Kwon2002b,
author = {J. Kwon and A. Wellings and S. King},
institution = {Department of Computer Science, University of York},
month = {May},
number = {341},
title = {Assessment of the Java Programming Language for use in High Integrity Systems},
year = {2002}
}