From the February 2013 issue of the Vision System Design Magazine
http://www.vision-systems.com/articles/print/volume-18/issue-2/departments/snapshots/ai-based-software-predicts-ease-of-intubation.html
A site devoted mostly to everything related to Information Technology under the sun - among other things.
Sunday, February 24, 2013
Latent Bugs in Software Development Tools
2 studies on latent bugs in software development tools; one on findings and understanding bugs in C compilers:
http://www.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf
and the other one on error code mismatches between documentation and the real world:
http://www.eecs.berkeley.edu/~rubio/includes/paste10.pdf
http://www.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf
and the other one on error code mismatches between documentation and the real world:
http://www.eecs.berkeley.edu/~rubio/includes/paste10.pdf
Wednesday, February 6, 2013
Spec#
Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants. Find it @ http://research.microsoft.com/en-us/projects/specsharp/