Ready to be published? LXer is read by around 350,000 individuals each month, and is an excellent place for you to publish your ideas, thoughts, reviews, complaints, etc. Do you have something to say to the Linux community?
This is the next article in our occasional series on new, more formal (mathematically-based) approaches to system development. The first article looked at Bayesian analysis and formal methods (which are only "new" to the general development space, of course).
