Abstract
This chapter presents a broad overview of software engineering and discusses the waterfall and spiral software lifecycle models. We discuss requirements gathering and specification, software design and implementation, software inspections and testing and maintenance. The lightweight Agile methodology is introduced, and it has become popular in software engineering. Software process maturity and project management are discussed, and formal methods are introduced. The extent to which mathematical approaches 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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The “Mongolian Hordes” management myth is the belief that adding more programmers to a software project that is running late will allow it to catch-up. The reality is that adding people to a late software project actually makes it later.
- 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.
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.
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.
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.
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.
The ancient Babylonians used the concept of accountability, and they employed a code of laws (known as the Hammurabi Code) c. 1750 BC. 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.
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 accompany 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.
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.
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.
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.
Agile teams are self-organizing, and the project manager role is generally not employed for small projects (<20 staff).
- 13.
This is essential for serious defects that have caused significant inconvenience to customers (e.g. a major telecoms 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.
These are the risk management activities in the Prince 2 methodology.
References
F. Brooks, The Mythical Man Month (Addison Wesley, 1975)
G. O’Regan, Guide to Discrete Mathematics (Springer, 2016)
Standish Group Research Note, Estimating: Art or Science. Featuring Morotz Cost Expert (1999)
F. Brooks, No Silver Bullet. Essence and Accidents of Software Engineering. Information Processing (Elsevier, Amsterdam, 1986)
G. O’Regan, Introduction to Software Process Improvement (Springer, 2010)
G. O’Regan, Introduction to Software Quality (Springer, 2014)
G. O’Regan, Concise Guide to Software Engineering (Springer, 2017)
M. Fagan, Design and Code Inspections to Reduce Errors in Software Development. IBM Syst. J. 15(3) (1976)
G. O’Regan, Introduction to Software Quality (Springer, 2014)
W.Royce, in The Software Lifecycle Model (Waterfall Model). Proceedings of WESTCON, August 1970
B. Boehm, A spiral model for software development and enhancement. Computer (1988)
I. Jacobson, G. Booch, J. Rumbaugh, The Unified Software Development Process (Addison-Wesley, 1999)
K. Beck, Extreme Programming Explained. Embrace Change (Addison Wesley, 2000)
I. Jacobson, G. Booch, J. Rumbaugh, The Unified Software Modeling Language User Guide (Addison-Wesley, 1999)
D. Parnas, On the criteria to be used in decomposing systems into modules. Commun. ACM, 15(12) (1972)
M. Fagan, Design and code inspections to reduce errors in software development. IBM Syst. J. 15(3) (1976)
MB Chrissis, M. Conrad, S. Shrum, in CMMI. Guidelines for Process Integration and Product Improvement, 3rd edn. SEI Series in Software Engineering (Addison Wesley, 2011)
J.M. Spivey, in The Z Notation. A Reference Manual. International Series in Computer Science (Prentice Hall, 1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
O’Regan, G. (2017). Software Engineering. In: Concise Guide to Formal Methods. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-64021-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-64021-1_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64020-4
Online ISBN: 978-3-319-64021-1
eBook Packages: Computer ScienceComputer Science (R0)