On specifying systems that connect to the physical world

  • Authors:

  • Tom Maibaum

  • Affiliations:

  • Department of Computing and Software, McMaster University, Canada

  • Venue:
  • Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Any engineering method is based on the validity of some assumptions about the problem domain and about the artifacts used in any solution of an engineering problem. Engineers have learned, perhaps not perfectly, to lay bare these assumptions and to base their methods on effective use of these assumptions. Software engineers are less good at this, to the detriment of building effective methods. The paper discusses some assumptions that either are false or are not made properly explicit in methods and the detrimental effect on the relevant methods. Some ideas about dealing with these deficiencies are proposed and discussed.