Abstract
What kind of human activities do theories (theoretical computer science) and practices (industrial software development) on software most resemble? Hoare and He (1998) adopted the following viewpoint; the relationship between theoretical computer science and real-world software development corresponds to that of physical sciences and classical fields of engineering, e.g. mechanical engineering or aero-dynamical engineering. From this viewpoint, they successfully showed an approach towards a unified theory intended for industrial programming.
Chapter PDF
Keywords
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.
References
Barendregt, H. P. (1981): The Lambda Calculus, North-Holland.
Bjørner, D. (1997): UNU/IIST’s Software Technology R&D in Africa, Asia, Eastern Europe, and Latin America: ‘Five’ Years — a Personal View, UNU/IIST Report No. 90.
Bjørner, D. (1998): Domains & Requirements, Software Architecture & Program Organization, Full Day Seminar in IFIP’ 98, Budapest.
Bjørner, D., et al. (1997): Michael Jackson’s Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools, in Proceedings of 1st ICFEM, 263–270.
Broy, M., et al. (1998): PSMT — Workshop on Precise Semantics of Software Modeling Techniques, Tech. Report of TUM I9803.
Buschmann, F., et al. (1996): A System of Patterns, John Wiley & Sons.
Dieudonné, J. (1982): in Penser les mathématiques, Editions du Seuil.
Ehrig, H. and B. Mahr (1985): Fundamentals of Algebraic Specification 1, Springer-Verlag.
Gamma, E., et al. (1995): Design Patterns, Addison-Wesley.
Gibson, R. (1997): Cleanroom Software Engineering Practice (by S. A. Baker et al.), 116–134, Idea Group Publishing.
Hoare, C. A. R. (1986): The Mathematics of Programming, Clarendon Press, Oxford.
Hoare, C. A. R., and He, J. (1998): Unifying Theories of Programming, Prentice Hall.
Jackson, M. (1995): Software Requirements & Specification, Addison-Wesley.
Linger, R. C., et al. (1979): Structured Programming, Addison-Wesley.
Luo, Z. (1994): Computation and Reasoning, Clarendon Press, Oxford.
Mac Lane, S. (1971): Categories for the Working Mathematician, Springer-Verlag.
Mac Lane, S. (1986): Mathematics: Form and Function, Springer-Verlag.
Meyer, B. (1997): Object-Oriented Software Construction, 2nd ed., Prentice Hall.
Nordström, B., et al. (1990): Programming in Martin-Löf’s Type Theory, Clarendon Press, Oxford.
Polya, G. (1957): How to Solve It, 2nd ed, Princeton Univ. Press.
Reid, M. (1988): Undergraduate Algebraic Geometry, Cambridge Univ. Press.
Shaw, M. and Garlan, D. (1996): Software Architecture, Prentice Hall.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kondoh, H. (2000). What Is ‘Mathematicalness’ in Software Engineering?. In: Maibaum, T. (eds) Fundamental Approaches to Software Engineering. FASE 2000. Lecture Notes in Computer Science, vol 1783. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46428-X_12
Download citation
DOI: https://doi.org/10.1007/3-540-46428-X_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67261-6
Online ISBN: 978-3-540-46428-0
eBook Packages: Springer Book Archive