Skip to main content
SpringerLink
Log in
Book cover

Mathematics, Computer Science and Logic - A Never Ending Story pp 51–68Cite as

On the Role of Logic and Algebra in Software Engineering

  • Chapter
  • First Online:

  • 1231 Accesses

Abstract

Software engineering is a field of high relevance for many practical areas of advanced technology. It is essential also for a number of safety critical systems and technical infrastructures. Stimulated by the exponential growth of the power and speed of electronic hardware we observe an exponential growth in the functionality, the size, and complexity of software. In contrast to electronic hardware where we expect that everything is built based on carefully investigated theories with a deep scientific understanding, software creation still is to a large extend ad hoc. Nevertheless, due to the rising quality demands for software and the necessary improvement of productivity by advanced tools we see a growing need for a proper foundation and comprehensive theory of software engineering. In the following we outline the role that we see for logic and algebra in the emerging field of software engineering.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. Software – Conc Tool 17, 70–77 (1996)

    Google Scholar 

  2. Ben-Abdallah, H., Leue, S.: Syntactic analysis of message sequence chart specifications. Technical Report 96–12, Department of Electrical and Computer Engineering, University of Waterloo (1996)

    Google Scholar 

  3. Booch, G.: Object Oriented Design with Applications. Benjamin Cummings, Redwood (1991)

    Google Scholar 

  4. Broy, M.: Towards a formal foundation of the specification and description language SDL. Form Asp Comput 3, 21–57 (1991)

    Article  MATH  Google Scholar 

  5. Broy, M.: Mathematics of software engineering. Invited talk at MPC 95. In: Möller, B. (ed.) Mathematics of Program Construction, July 1995. Kloster Irsee, Lecture Notes of Computer Science, vol. 947, pp. 18–47. Springer, Berlin (1995)

    Google Scholar 

  6. Broy, M.: A logical basis for modular software and systems engineering. In: Rovan, B. (ed.) SOFSEM’98: Theory and Practice in Informatics. Lecture Notes in Computer Science, vol. 1521, pp. 19–35. Springer, Berlin/New York (1998)

    Google Scholar 

  7. Broy, M.: The essence of message sequence charts. Keynote speech. In: Proceedings of the International Symposium on Multimedia Software Engineering, IEEE Computer Society, pp. 42–47, 11–13 Dec 2000

    Google Scholar 

  8. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)

    Book  Google Scholar 

  9. Broy, M., Hofmann, C., Krüger, I., Schmidt, M.: A graphical description technique for communication in software architectures. Technische Universität München, Institut fürInformatik, TUM-I9705, February 1997 URL: http://www4.informatik.tu-muenchen.de/reports/TUM-I9705, 1997. Also in: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC′97/ICSC′97)

  10. Cobben, J.M.H., Engels, A., Mauw, S., Reniers, M.A.: Formal semantics of message sequence charts. Technical Report CSR 97/19, Departement of Computing Science, Eindhoven University of Technology (1997)

    Google Scholar 

  11. Damm, W., Harel, D.: Breathing life into message sequence charts. Weismann Insitute Technical Report CS98-09, April 1998, revised July 1998, to appear. In: FMOODS′99, IFIP TC6/WG6.1 Third International Conference on, Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, 15–18 Feb 1999

    Google Scholar 

  12. Dana, S.: Scott: Logic and programming languages. CACM 20(9), 634–641 (1977)

    Article  MATH  Google Scholar 

  13. Graubmann, P., Rudolph, E., Grabowski, J.: Towards a Petri Net based semantics definition for message sequence charts. In: Faergemand, O., Sarma, A. (eds.) Proceedings of the 6th SDL Forum, SDL′93: Using Objects, (1993)

    Google Scholar 

  14. Hoare, C.A.R.: Assertions in programming: From scientific theory to engineering practice. In: Soft-Ware 2002: Computing in an Imperfect World, First Conference, Soft-Ware 2002, Belfast. Lecture Notes in Computer Science, vol. 2311, pp. 350–351. Springer, Berlin/Heidelberg (2002)

    Google Scholar 

  15. Holzmann, G. J., Peled, D. A., Redberg, M. H.: Design tools for requirements engineering. Bell Labs Tech J Spec Issue Softw 2(1), 86–95 (Spring 1997)

    Google Scholar 

  16. Scott, D.S.: Outline of a mathematical theory of computation. In: Proceedings of the 4th Annual Princeton Conference on Information Sciences and Systems, pp. 169–176. Princeton University, Princeton (1970)

    Google Scholar 

  17. Scott, D.: Data types as lattices. SIAM J 5(3), 522–586 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  18. Scott, D., Strachey, Ch.: Towards a mathematical semantics for computer languages. In: Proceedings, 21st Symposium on Computers and Automata, Polytechnic Institute of Brooklyn, pp. 19–46. Also Programming Research Group Technical Monograph PRG–6, Oxford (1971)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultaet fuer Informatik, Technische Universitaet Muenchen, Boltzmannstr. 3, D-85748, Garching, Germany

    Manfred Broy

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Manfred Broy .

Editor information

Editors and Affiliations

  1. Research Institute for Symbolic Computat, Johannes Kepler University, Linz, Austria

    Peter Paule

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Broy, M. (2013). On the Role of Logic and Algebra in Software Engineering. In: Paule, P. (eds) Mathematics, Computer Science and Logic - A Never Ending Story. Springer, Cham. https://doi.org/10.1007/978-3-319-00966-7_2

Download citation

Publish with us

Policies and ethics

Search

Navigation