Technical, but quite interesting view of the future of formal methods and computing in CN Magazine .. It is all about modeling, useful modeling:
" ... The purpose of this month's theme on Computing Now is to point out some new directions that might lead from formal methods into the traditional science and engineering disciplines and back again to computer science. These same lines of work seem also to be linking discrete mathematics to continuous mathematics, and perhaps to some degree reducing the gap between theoretical computer science and classical mathematics. These new directions have to do, in general, with modeling ... "
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment