Advertisement

Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations

  • Dominic Furniss
  • Alan Dix
  • Christophe Ponsard
  • Guo-Qiang Zhang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3941)

Abstract

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.

Keywords

Design Process Model Check Formal Method Radical Change Formal Conception 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dominic Furniss
  • Alan Dix
  • Christophe Ponsard
  • Guo-Qiang Zhang

There are no affiliations available

Personalised recommendations