3227 search results - page 256 / 646 » Software engineering and performance: a road-map |
166
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Interruptions are a daily reality for professional programmers. Unfortunately, the strategies programmers use to recover lost knowledge and resume work have not yet been well stud...
154
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
155
click to vote
ERLANG
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes opportunities for automatically modernizing Erlang applications, cleaning them up, eliminating certain bad smells from their code and occasionally also improv...
158
click to vote
IWPC
2007
IEEE
16 years 29 days 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...
159
Voted
SCAM
2007
IEEE
16 years 29 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...