Advertisement
Published in:
2006 | OriginalPaper | Chapter
Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations
Authors : Dominic Furniss, Alan Dix, Christophe Ponsard, Guo-Qiang Zhang
Published in: Interactive Systems. Design, Specification, and Verification
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.