— In this paper we explain our vision for a new generation of software design environments. We aim to generalize existing software development tools in several key ways – which include: integration of rigorous and informal notations, and support for multiple modes of interaction. We describe how we can consolidate the environment by integrating it with other software engineering tools. Furthermore, we describe some methods which could permit the environment to provide a flexible collaborative medium and have a practical and inspiring user experience.
Michel R. V. Chaudron, Rodi Jolak