Exstatic - A generic static checker applied to documentation systems

Proceedings of the 22nd Annual International Conference on Design of Communication - The Engineering of Quality Documentation

Volumn , Issue , 2004, Pages 52-57

  Mount, S N I ^a   Newman, R M ^a   Low, R J ^a   Mycroft, A ^b  

^a Institute for Clean Growth and Future Mobility   (United Kingdom)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Docstrings; Exstatic; Javadoc; Standards; Static checking

Indexed keywords

ALGORITHMS; CODES (STANDARDS); CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; ERROR ANALYSIS; HTML; PROGRAM COMPILERS; SOFTWARE ENGINEERING; SYNTACTICS; TEXT PROCESSING;

DOCSTRINGS; EXTATIC; JAVADOC; STATIC CHECKING;

PROGRAM DOCUMENTATION;

EID: 13344250418     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. B. W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.
2. F. Brooks. The Mythical Man-Month. Addison-Wesley, 1995.
3. O. Burn. The Checkstyle project. http://checkstyle.sourceforge.net/.
4. W.W.W. Consortium, http://validator.w3.org/.
5. D. Detlefs, K. Rustan, M. Leino, G. Nelson, and J. B. Saxe. Extended Static Checking. Technical Report 159, Compaq Systems Research Centre, Palo Alto, CA, Dec. 1998.
6. D. Evans. Annotation-assisted lightweight static checking. In The First International Workshop on Automated Program Analysis, Testing and Verification, Feb. 2000.
7. D. Evans and D. Larochelle. Splint User's Manual Version 3,0.1, University of Virginia, Department of Computer Science, Jan. 2002. http://www.splint.org/manual/manual.html.
8. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Programming Language Design and Implementation (PLDI). ACM SIGPLAN, 2002.
9. S. M. Inc. How to write doc comments for the javadoc tool. http://java.sun.com/j2se/javadoc/writingdoccomments/
10. S. M. Inc. Requirements for writing Java API specifications. http://java.sun.com/j2se/javadoc/writingapispecs/
11. D. E. Knuth. Literate programming. The Computer Journal, 27(2):97-111, May 1984.
12. D. M. Leslie. Using javadoc and XML to produce API reference documentation. In Proceedings of the 20th annual international conference on Computer documentation, pages 104-109. ACM Press, 2002.
13. T. Lethbridge, J. Singer, and A. Forward. How software engineers use documentation: The state of the practice. IEEE Software, 2003.
14. S. Maguire. Writing Solid Code. Microsoft Press, 1993.
15. D. Mandrioli and B. Meyer, editors. Advances in Object-Oriented Software Engineering, chapter Design by Contract, pages 1-50. Prentice Hall, 1991.
16. H. Siy and L. Votta. Does the modern code inspection have value? In Proceedings of the IEEE International Conference on Software Maintenance (ICSM), 2001.