1326 search results - page 147 / 266 » Semantic Coherence in Software Engineering |
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
TASE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
WCRE
2008
IEEE
14 years 4 months ago
2008
IEEE
The research domain of aspect mining studies the problem of (semi-)automatically identifying potential aspects and crosscutting concerns in a software system, to improve the syste...
IWPC
2007
IEEE
14 years 4 months ago
2007
IEEE
Eye-tracking equipment is used to assess how well a subject comprehends UML class diagrams. The results of a study are presented in which eye movements are captured in a non-obtru...
QSIC
2007
IEEE
14 years 4 months ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...