Formal techniques for getting software right: some old ideas and some new tools Applied Formal Methods Research Group 2012-11-02 David Lightfoot: [email protected].
20130714 php matsuri - highly available php
Extended 360 degree view of customer
IBM: Enhanced 360 Degree Customer View Extended
Formal techniques for getting software right: some old ideas and some new tools
In: Wenclawiak, Koch, Hadjicostas (eds.) Quality Assurance in Analytical Chemistry – Training and Teaching (2 nd ed.) Koch, M., Gluschke, M.: Control Charts.
8 Years of Performance Solutions - Lessons Learned