Skip to main content

Fundamentals of Software Engineering

  • Chapter
  • First Online:
Mathematical Foundations of Software Engineering

Part of the book series: Texts in Computer Science ((TCS))

  • 1072 Accesses

Abstract

The first chapter presents a broad overview of software engineering, and the birth of the discipline was at the Garmisch conference in Germany in the late 1960s. We discuss various software lifecycles and the phases in software development. We discuss requirements gathering and specification, software design, implementation, testing, and maintenance. The lightweight Agile methodology is introduced, and it has become very popular in industry. Mathematics may potentially assist software engineers in delivering high-quality software products that are safe to use, and the extent to which mathematics should be employed remains a topic of active debate.

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

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Free shipping worldwide - see info
Hardcover Book
USD 99.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

Institutional subscriptions

Notes

  1. 1.

    The “Mongolian Hordes” management myth is the belief that adding more programmers to a software project that is running late will allow catch-up. In fact, as Brooks says adding people to a late software project makes it later.

  2. 2.

    These are IT projects covering diverse sectors including banking, telecommunications, etc., rather than pure software companies. Software companies following maturity frameworks such as the CMMI generally achieve more consistent results.

  3. 3.

    I recall projects at Motorola that regularly achieved 5.6 σ-quality in a L4 CMM environment (i.e., approx. 20 defects per million lines of code. This represents very high quality).

  4. 4.

    Approaches such as the CMM or SPICE (ISO 15504) focus mainly on the management and organizational practices required in software engineering. The emphasis is on defining software processes that are fit for purpose and consistently following them. The process maturity models focus on what needs to be done rather how it should be done. This gives the organization the freedom to choose the appropriate implementation to meet its needs. The models provide useful information on practices to consider in the implementation.

  5. 5.

    Parnas has made important contributions to computer science. He advocates a solid engineering approach with the extensive use of classical mathematical techniques in software development. He also introduced information hiding in the 1970s, which is now a part of object-oriented design.

  6. 6.

    Software companies that are following approaches such as the CMM or ISO 9001 consider the education and qualification of staff prior to assigning staff to performing specific tasks. The appropriate qualifications and experience for the specific role are considered prior to appointing a person to carry out the role. Many companies are committed to the education and continuous development of their staff, and on introducing best practice in software engineering into their organization.

  7. 7.

    The ancient Babylonians used the concept of accountability, and they employed a code of laws (known as the Hammurabi Code) c. 1750 B.C. It included a law that stated that if a house collapsed and killed the owner then the builder of the house would be executed.

  8. 8.

    However, it is unlikely that an individual programmer would be subject to litigation in the case of a flaw in a program causing damage or loss of life. A comprehensive disclaimer of responsibility for problems rather than a guarantee of quality accompanies most software products. Software engineering is a team-based activity involving many engineers in various parts of the project, and it would be potentially difficult for an outside party to prove that the cause of a particular problem is due to the professional negligence of a particular software engineer, as there are many others involved in the process such as reviewers of documentation and code and the various test groups. Companies are more likely to be subject to litigation, as a company is legally responsible for the actions of their employees in the workplace, and a company is a wealthier entity than one of its employees. The legal aspects of licensing software may protect software companies from litigation. However, greater legal protection for the customer can be built into the contract between the supplier and the customer for bespoke-software development.

  9. 9.

    Many software companies have a defined code of ethics that employees are expected to adhere. Larger companies will wish to project a good corporate image and to be respected worldwide.

  10. 10.

    The British Computer Society (BCS) has introduced a qualification system for computer science professionals that it used to show that professionals are properly qualified. The most important of these is the BCS Information Systems Examination Board (ISEB) which allows IT professionals to be qualified in service management, project management, software testing, and so on.

  11. 11.

    Software companies that are following the CMMI or ISO 9001 standards will employ audits to verify that the processes and procedures have been followed. Auditors report their findings to management and the findings are addressed appropriately by the project team and affected individuals.

  12. 12.

    Agile teams are self-organizing, and the project manager role is generally not employed for small projects (< 20 staff).

  13. 13.

    This is essential for serious defects that have caused significant inconvenience to customers (e.g., a major telecom outage). The software development organization will wish to learn lessons to determine what went wrong in its processes that prevented the defect from been identified during peer reviews and testing. Actions to prevent a reoccurrence will be identified and implemented.

  14. 14.

    These are the risk management activities in the Prince2 methodology.

References

  1. Brooks F (1975) The mythical man month. Addison Wesley

    Google Scholar 

  2. Naur P, Randell B (1975) Software engineering. Petrocelli. IN. Buxton. Report on two NATO conferences held in Garmisch, Germany (October 1968) and Rome, Italy (October 1969)

    Google Scholar 

  3. O’Regan G (2006) Mathematical approaches to software quality. Springer

    Google Scholar 

  4. Brooks F (1986) No silver bullet. Essence and accidents of software engineering. Information processing. Elsevier, Amsterdam

    Google Scholar 

  5. O’Regan G (2010) Introduction to software process improvement. Springer

    Google Scholar 

  6. O’Regan G (2014) Introduction to software quality. Springer Verlag

    Google Scholar 

  7. Fagan M (1976) Design and code inspections to reduce errors in software development. IBM Syst J 15(3)

    Google Scholar 

  8. Gilb T, Graham D (1994) Software inspections. Addison Wesley

    Google Scholar 

  9. (2004) Managing successful projects with PRINCE2. Office of Government Commerce, UK

    Google Scholar 

  10. Royce W (1970) The software lifecycle model (waterfall model). In: Proceedings of WESTCON

    Google Scholar 

  11. Boehm B (1988) A spiral model for software development and enhancement. Computer

    Google Scholar 

  12. Rumbaugh J et al (1999) The unified software development process. Addison Wesley

    Google Scholar 

  13. Alliance A, Manifesto for Agile software development. http://agilemanifesto.org

  14. O’Regan G (2022) Concise guide to software engineerin (2nd edn). Springer

    Google Scholar 

  15. Jacobson I, Booch G, Rumbaugh J (1999) The unified software modelling language user guide. Addison-Wesley

    Google Scholar 

  16. Parnas D (1972) On the criteria to be used in decomposing systems into modules. Commun ACM 15(12).

    Google Scholar 

  17. Dijkstra EW (1972) Structured programming. Academic

    Google Scholar 

  18. Spivey JM (1992) The Z notation. A reference manual. Prentice Hall International Series in Computer Science

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

O’Regan, G. (2023). Fundamentals of Software Engineering. In: Mathematical Foundations of Software Engineering. Texts in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-26212-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-26212-8_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-26211-1

  • Online ISBN: 978-3-031-26212-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics