Semantic Annotation for Java

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.jot.fm/issues/issue_2010_05/column2.pdf.

Subject Terms: Categories and Subject Descriptors D.2.3 [Design Tools and Techniques, Semantics and Features – assertion checkers, computer-human interface, programming by contract, specification. General Terms Documentation, Human Factors, Languages, Reliability Verification. Keywords Java, assertions, semantics, GUI construction, automatic code synthesis, reflection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6515; http://www.jot.fm/issues/issue_2010_05/column2.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6515
http://www.jot.fm/issues/issue_2010_05/column2.pdf

Semantic Annotation for Java

Authors: Douglas Lyon

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://show.docjava.com/pub/document/jot/v9n3.pdf.

Subject Terms: Documentation, Human Factors, Languages, Reliability Verification. Keywords Java, assertions, semantics, GUI construction, automatic code synthesis, reflection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.9005; http://show.docjava.com/pub/document/jot/v9n3.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.9005
http://show.docjava.com/pub/document/jot/v9n3.pdf