%0 Book Section %1 loepucl5115 %A Furniss, D. %A Dix, A. %A Ponsard, C. %A Zhang, G.Q. %B Interactive Systems: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers %C Heidelberg, Germany %D 2006 %E Gilroy, S.W. %E Harrison, M.D. %I Springer Berlin %K UCLIC imported %N 3941 %P 265 %T Outdated ideas of the design process and the future of formal models/methods/notations %U http://eprints.ucl.ac.uk/5115/ %X 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.

@incollection{loepucl5115, 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.}, added-at = {2008-10-22T16:08:08.000+0200}, address = {Heidelberg, Germany}, author = {Furniss, D. and Dix, A. and Ponsard, C. and Zhang, G.Q.}, biburl = {https://www.bibsonomy.org/bibtex/21396ffccff0749a141b3458470f70573/spdegabrielle}, booktitle = {Interactive Systems: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers}, description = {UCLIC}, editor = {Gilroy, S.W. and Harrison, M.D.}, interhash = {28c4d5521dde7eafcb051c3bec5bf3ef}, intrahash = {1396ffccff0749a141b3458470f70573}, keywords = {UCLIC imported}, note = {The original publication is available at www.springerlink.com}, number = 3941, pages = 265, publisher = {Springer Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2008-10-22T16:48:27.000+0200}, title = {Outdated ideas of the design process and the future of formal models/methods/notations}, url = {http://eprints.ucl.ac.uk/5115/}, year = 2006 }