10575 search results - page 1844 / 2115 » Programming Languages |
150
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
171
click to vote
ICECCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
161
click to vote
VL
2006
IEEE
16 years 19 days ago
2006
IEEE
We have been working to uncover gender differences in the ways males and females problem solve in end-user programming situations, and have discovered differences in males’ vers...
291
click to vote
VL
2005
IEEE
16 years 6 days ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
162
click to vote
VL
2005
IEEE
16 years 6 days ago
2005
IEEE
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...