Outdated ideas of the design process and the future of formal models, methods and notations

This topic implies that the future of formal techniques is tied to outdated ideas of the design process, perhaps of the ‘waterfall model’ variety, in contrast to more informal, fast and iterative techniques such as agile methods, which tend to be prototype-centric and less analytical. Indeed, these more agile techniques appear to be gaining importance where industry is moving towards more mobile and ambient technologies. A future challenge of formal techniques is how they could contribute to these areas, and how they can fit into the less formal conceptions of the design process. It is also important to understand industrial design contexts and fit with their conduct rather than trying to impose radical changes.