Thinking Tools for the Future of Computing Science

On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.

“…My first and, I'd say major, observation is that this lack of appreciation for FMs seems to be a peculiarity of people's attitude towards SE, and is not at all experienced when considering other branches of engineering. Let me start by quoting C. Jones [22]: "All engineering disciplines make progress by employing mathematically based notations and methods." Note that the above consideration applies to all engineering disciplines, and it explicitly refers to notations and methods that are mathematically based.…”