19 search results - page 3 / 4 » Supporting model checking education using BOGOR Eclipse |
SAC
2010
ACM
13 years 5 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
ITICSE
2005
ACM
13 years 10 months ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...