Web development is the natural end user but most people in that business won't pay a great deal for that name. I have WebDots and have been holding it for a long time.
I would probably consider 1k for WebDots.
I would shoot for similar with dotdev but you may sit on it for a spell.
@MapleDots thank you very much for the information. If the dev community historically won't pay much for a domain, would you recommend an auction to attract another reseller at a lower price that will sit on it?
It's a fairly limited audience to developers. In most cases developers will makeup a name instead of buying one. Also dotdev limits it to a web application instead of across the board development.
Personally it does not meet with my criteria of a larger target audience but in the right circumstances it can have value. You can always list it on godaddy with a lower starting bid.