A major and so far unmet challenge in software engineering is to achieve and act upon a clear and sound understanding of the relationship between formal mechanisms in the development process. The challenge is salient in the development of cyber-physical systems, in which the computer interacts with the human and physical world to ensure a behaviour there that satisfies the requirements of the systemís owner. The nature of the computer as a formally defined symbol-processing engine invites a formal mathematical approach to software development. Contrary considerations militate against excessive reliance on formalism. The non-formal nature of the human and physical world, the complexity of system function, and the need for human comprehension at every level demand application of non-formal and intuitional knowledge, of insight and technique rather than calculation. The challenge, then, is to determine how these two facets of the development process formalism and intuition can work together most productively. This short essay describes some origins and aspects of the challenge and offers a perspective for addressing it.
Sarita A. Dhawale
Approximation, Behaviour, Correctness, Description, Formalism, Interpretation, Intuition, Problem World, Requirement, Structure.
- [Conway63] Melvin E. Conway; Design of a separable transition-diagram compiler; Communications of the ACM Volume 6 Number 7, pages 396-408, July 1963.
- [Dahl72] Ole-Johan Dahl and C A R Hoare; Hierarchical Program Structures; in O-J Dahl, E W Dijkstra and C A R Hoare; Structured Programming; Academic Press, 1972
- [Dickinson 67] Elizabeth R Dickinson; Production of Firing Tables for Cannon Artillery; Report No 1371, US Army Materiel Command, Ballistic research Laboratories, Aberdeen Proving ground, Maryland, USA, November 1967.
- [Dijkstra68] E W Dijkstra; A Case Against the Go To Statement; EWD 215, published as a letter to the Editor (Go To Statement Considered Harmful): Communications of the ACM Volume 11 Number 3, pages 147-148, March 1968.
- [Dijkstra89] E W Dijkstra; On the Cruelty of Really Teaching Computer Science; Communications of the ACM Volume 32 Number 12, pages 1398-1404, December 1989.
- [Endres+03] Albert Endres and Dieter Rombach; A Handbook of Software and Systems Engineering, Addison-Wesley, 2003.
- [Hayes+03] Ian J. Hayes, Michael A. Jackson, and Cliff B. Jones; Determining the specification of a control system from that of its environment; in Keijiro Araki, Stefani Gnesi and Dino Mandrioli eds, Formal Methods: Proceedings of FME2003, pages 154-169, Springer Verlag, Lecture Notes in Computer Science 2805, 2003.
- [Jackson00] Michael Jackson; Problem Frames: Analysing and Structuring Software Development Problems; Addison-Wesley, 2000.
- [Klein03] Gary Klein; Intuition at Work; Doubleday, 2003.
- [Naur60] J W Backus, F L Bauer, J Green, C Katz, J McCarthy, A J Perlis, H Rutishauser, K Samelson, B Vauquois, J H Wegstein, A van Wijngaarden, M Woodger, ed Peter Naur; Report on the Algorithmic Language ALGOL 60; Communications of the ACM Volume 3 Number 5, pages 299-314, May, 1960
- [Poincare08] Henri Poincaré; Science et Méthode; Flammarion 1908; English translation by Francis Maitland, Nelson, 1914 and Dover 1952, 2003.
- [Polanyi58] Michael Polanyi; Personal Knowledge: Towards a Post-Critical Philosophy; Routledge and Kegan Paul, London, 1958, and University of Chicago Press, 1974.
- [Rochlin97] Gene I Rochlin; ; Trapped in the Net: The unanticipated consequences of computerization; Princeton University Press, 1997.
- [Turing49] A M Turing. Checking a large routine; In Report on a Conference on High Speed Automatic Calculating Machines, pages 67-69, Cambridge University Mathematical Laboratory, Cambridge, 1949. Discussed in: Cliff B. Jones; The Early Search for Tractable Ways of Reasoning about Programs; IEEE Annals of the History of Computing Volume 25 Number 2, pages 26-49, 2003.
- [Weyl40] Hermann Weyl; The Mathematical Way of Thinking; address given at the Bicentennial Conference at the University of Pennsylvania, 1940.
- [Weyl44] Hermann Weyl; David Hilbert and His Mathematical Work; Bulletin of the American Mathematical Society Volume 50, pages 612-654, 1944.
|Published in :
||Volume 1 | Issue 5 | September-October - 2015
|Date of Publication
Cite This Article
Sarita A. Dhawale, "Focal Insight in Software Engineering towards Improvisation - Software Industry", International Journal of Scientific Research in Science, Engineering and Technology(IJSRSET), Print ISSN : 2395-1990, Online ISSN : 2394-4099, Volume 1, Issue 5, pp.51-59, September-October-2015.
URL : http://ijsrset.com/IJSRSET151510.php