274 search results - page 45 / 55 » Programming Coordinated Behavior in Java |
CHI
2011
ACM
14 years 3 months ago
2011
ACM
While usability methods such as user studies and inspections can reveal a wide range of problems, they do so for only a subset of an application’s features and states. We presen...
SIGSOFT
2003
ACM
16 years 12 days ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
103
Voted
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
121
click to vote
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Previous research has documented the fragmented nature of software development work, with frequent interruptions and coordination. To explain this in more detail, we analyzed soft...