Sciweavers

Share
TOSEM
2008

Developing and debugging algebraic specifications for Java classes

8 years 4 months ago
Developing and debugging algebraic specifications for Java classes
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use container classes defined in the java.util package. Given this extensive code reuse in Java programs, it is important for the interfaces of reusable classes to be well documented. An interface is well documented if it satisfies the following requirements: (1) the documentation completely describes how to use the interface; (2) the documentation is clear; (3) the documentation is unambiguous; and (4) any deviation between the documentation and the code is machine detectable. Unfortunately, documentation in natural language, which is the norm, does not satisfy the above requirements. Formal specifications can satisfy them but they are difficult to develop, requiring significant effort on the part of programmers. To address the practical difficulties with formal specifications, we describe an...
Johannes Henkel, Christoph Reichenbach, Amer Diwan
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TOSEM
Authors Johannes Henkel, Christoph Reichenbach, Amer Diwan
Comments (0)
books