{"id":323,"date":"2015-08-03T18:51:16","date_gmt":"2015-08-03T18:51:16","guid":{"rendered":"https:\/\/courses.candelalearning.com\/computerapps\/?post_type=chapter&#038;p=323"},"modified":"2016-04-21T23:12:58","modified_gmt":"2016-04-21T23:12:58","slug":"reading-software-development-process","status":"publish","type":"chapter","link":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/chapter\/reading-software-development-process\/","title":{"raw":"Reading: Software Development Process","rendered":"Reading: Software Development Process"},"content":{"raw":"<h2>Introduction<\/h2>\r\n<img class=\"alignright wp-image-826\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/sm_8514593748_c883430b4e_o-819x1024.jpg\" alt=\"Action sequence showing a kayak going over a waterfall. The photo includes eight or so frames superimposed.\" width=\"250\" height=\"313\" \/>In software engineering, a <b>software development methodology<\/b> (also known as a <b>system development methodology<\/b>, <b>software development life cycle<\/b>, <b>software development process<\/b>, <b>software process<\/b>) is a division of software development work into distinct phases (or stages) containing activities with the intent of better planning and management. It is often considered a subset of the systems development life cycle. The methodology may include the pre-definition of specific deliverables and artifacts that are created and completed by a project team to develop or maintain an application.\r\n\r\nCommon methodologies include waterfall, prototyping, iterative and incremental development, spiral development, rapid application development, extreme programming and various types of agile methodology. Some people consider a life-cycle \"model\" a more general term for a category of methodologies and a software development \"process\" a more specific term to refer to a specific process chosen by a specific organization. For example, there are many specific software development processes that fit the spiral life-cycle model.\r\n<h2><span id=\"In_practice\" class=\"mw-headline\">In practice<\/span><\/h2>\r\n<div class=\"thumb tright\">\r\n<div class=\"thumbinner\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"420\"]<img class=\"thumbimage\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/420px-Three_software_development_patterns_mashed_together.svg.png\" srcset=\"\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/5\/5f\/Three_software_development_patterns_mashed_together.svg\/630px-Three_software_development_patterns_mashed_together.svg.png 1.5x, \/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/5\/5f\/Three_software_development_patterns_mashed_together.svg\/840px-Three_software_development_patterns_mashed_together.svg.png 2x\" alt=\"Image showing Prototyping, Waterfall, and Spiral methodology frameworks.\" width=\"420\" height=\"398\" data-file-width=\"950\" data-file-height=\"900\" \/> The three basic approaches applied to software development methodology frameworks.[\/caption]\r\n\r\n<\/div>\r\n<\/div>\r\nA variety of such frameworks have evolved over the years, each with its own recognized strengths and weaknesses. One software development methodology framework is not necessarily suitable for use by all projects. Each of the available methodology frameworks are best suited to specific kinds of projects, based on various technical, organizational, project and team considerations.\r\n\r\nSoftware development organizations implement process methodologies to ease the process of development. Sometimes, contractors may require methodologies employed, an example is the U.S. defense industry, which requires a rating based on process models to obtain contracts. The international standard for describing the method of selecting, implementing and monitoring the life cycle for software is ISO\/IEC 12207.\r\n\r\nA decades-long goal has been to find repeatable, predictable processes that improve productivity and quality. Some try to systematize or formalize the seemingly unruly task of designing software. Others apply project management techniques to designing software. Without effective project management, software projects can easily be delivered late or over budget. With large numbers of software projects not meeting their expectations in terms of functionality, cost, or delivery schedule, it is effective project management that appears to be lacking.\r\n\r\nOrganizations may create a Software Engineering Process Group (SEPG), which is the focal point for process improvement. Composed of line practitioners who have varied skills, the group is at the center of the collaborative effort of everyone in the organization who is involved with software engineering process improvement.\r\n\r\nA particular development team may also agree to programming environment details, such as which integrated development environment is used, and one or more dominant programming paradigms, programming style rules, or choice of specific software libraries or software frameworks. These details are generally not dictated by the choice of model or general methodology.\r\n<h2><span id=\"History\" class=\"mw-headline\">History<\/span><\/h2>\r\nThe software development methodology (also known as SDM) framework didn't emerge until the 1960s. According to Elliott (2004) the systems development life cycle (SDLC) can be considered to be the oldest formalized methodology framework for building information systems. The main idea of the SDLC has been \"to pursue the development of information systems in a very deliberate, structured and methodical way, requiring each stage of the life cycle from inception of the idea to delivery of the final system, to be carried out rigidly and sequentially\"\u00a0within the context of the framework being applied. The main target of this methodology framework in the 1960s was \"to develop large scale functional business systems in an age of large scale business conglomerates. Information systems activities revolved around heavy data processing and number crunching routines.\"\r\n\r\nMethodologies, processes, and frameworks range from specific proscriptive steps that can be used directly by an organization in day-to-day work, to flexible frameworks that an organization uses to generate a custom set of steps tailored to the needs of a specific project or group. In some cases a \"sponsor\" or \"maintenance\" organization distributes an official set of documents that describe the process. Specific examples include:\r\n\r\n<dl><dt>1970s<\/dt><\/dl>\r\n<ul>\r\n\t<li>Structured programming since 1969<\/li>\r\n\t<li>Cap Gemini SDM, originally from PANDATA, the first English translation was published in 1974. SDM stands for System Development Methodology<\/li>\r\n<\/ul>\r\n<dl><dt>1980s<\/dt><\/dl>\r\n<ul>\r\n\t<li>Structured systems analysis and design method (SSADM) from 1980 onwards<\/li>\r\n\t<li>Information Requirement Analysis\/Soft systems methodology<\/li>\r\n<\/ul>\r\n<dl><dt>1990s<\/dt><\/dl>\r\n<ul>\r\n\t<li>Object-oriented programming (OOP) developed in the early 1960s, and became a dominant programming approach during the mid-1990s<\/li>\r\n\t<li>Rapid application development (RAD), since 1991<\/li>\r\n\t<li>Dynamic systems development method (DSDM), since 1994<\/li>\r\n\t<li>Scrum, since 1995<\/li>\r\n\t<li>Team software process, since 1998<\/li>\r\n\t<li>Rational Unified Process (RUP), maintained by IBM since 1998<\/li>\r\n\t<li>Extreme programming, since 1999<\/li>\r\n<\/ul>\r\n<dl><dt>2000s<\/dt><\/dl>\r\n<ul>\r\n\t<li>Agile Unified Process (AUP) maintained since 2005 by Scott Ambler<\/li>\r\n<\/ul>\r\n<h2><span id=\"Approaches\" class=\"mw-headline\">Approaches<\/span><\/h2>\r\nSeveral software development approaches have been used since the origin of information technology, in two main categories. Typically an approach or a combination of approaches is chosen by management or a development team.\r\n\r\n\"Traditional\" methodologies such as waterfall that have distinct phases are sometimes known as <b>software development life cycle<\/b> (SDLC) methodologies, though this term could also be used more generally to refer to any methodology. A \"life cycle\" approach with distinct phases is in contrast to Agile approaches which define a process of iteration, but where design, construction, and deployment of different pieces can occur simultaneously.\r\n<h3><span id=\"Waterfall_development\" class=\"mw-headline\">Waterfall development<\/span><\/h3>\r\n<div class=\"thumb tright\">\r\n<div class=\"thumbinner\">\r\n\r\n[caption id=\"\" align=\"alignright\" width=\"251\"]<img class=\"thumbimage\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/220px-Waterfall_model.svg.png\" srcset=\"\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/e2\/Waterfall_model.svg\/330px-Waterfall_model.svg.png 1.5x, \/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/e2\/Waterfall_model.svg\/440px-Waterfall_model.svg.png 2x\" alt=\"Image showing a waterfall, beginning with requirements, then showing that design, implementation, verification, and maintenance come next.\" width=\"251\" height=\"188\" data-file-width=\"800\" data-file-height=\"600\" \/> The activities of the software development process represented in the waterfall model. There are several other models to represent this process.[\/caption]\r\n\r\n<\/div>\r\n<\/div>\r\nThe waterfall model is a sequential development approach, in which development is seen as flowing steadily downwards (like a waterfall) through several phases, typically:\r\n<ul>\r\n\t<li>Requirements analysis resulting in a software requirements specification<\/li>\r\n\t<li>Software design<\/li>\r\n\t<li>Implementation<\/li>\r\n\t<li>Testing<\/li>\r\n\t<li>Integration, if there are multiple subsystems<\/li>\r\n\t<li>Deployment (or Installation)<\/li>\r\n\t<li>Maintenance<\/li>\r\n<\/ul>\r\nThe first formal description of the method is often cited as an article published by Winston W. Royce\u00a0in 1970 although Royce did not use the term \"waterfall\" in this article. The basic principles are:\r\n<ul>\r\n\t<li>Project is divided into sequential phases, with some overlap and splashback acceptable between phases.<\/li>\r\n\t<li>Emphasis is on planning, time schedules, target dates, budgets and implementation of an entire system at one time.<\/li>\r\n\t<li>Tight control is maintained over the life of the project via extensive written documentation, formal reviews, and approval\/signoff by the user and information technology management occurring at the end of most phases before beginning the next phase.<\/li>\r\n<\/ul>\r\nThe waterfall model is a traditional engineering approach applied to software engineering. A strict waterfall approach discourages revisiting and revising any prior phase once it is complete. This \"inflexibility\" in a pure waterfall model has been a source of criticism by supporters of other more \"flexible\" models. It has been widely blamed for several large-scale government projects running over budget, over time and sometimes failing to deliver on requirements due to the Big Design Up Front approach. Except when contractually required, the waterfall model has been largely superseded by more flexible and versatile methodologies developed specifically for software development. See Criticism of Waterfall model.\r\n\r\nThe waterfall model is also commonly taught with the mnemonic A Dance in the Dark Every Monday, representing Analysis, Design, Implementation, Testing, Documentation and Execution, and Maintenance.\r\n<h3><span id=\"Prototyping\" class=\"mw-headline\">Prototyping<\/span><\/h3>\r\nSoftware prototyping, is the development approach of activities during software development, the creation of prototypes, i.e., incomplete versions of the software program being developed.\r\n\r\nThe basic principles are:\r\n<ul>\r\n\t<li>Not a standalone, complete development methodology, but rather an approach to handle selected parts of a larger, more traditional development methodology (i.e. incremental, spiral, or rapid application development (RAD)).<\/li>\r\n\t<li>Attempts to reduce inherent project risk by breaking a project into smaller segments and providing more ease-of-change during the development process.<\/li>\r\n\t<li>User is involved throughout the development process, which increases the likelihood of user acceptance of the final implementation.<\/li>\r\n\t<li>Small-scale mock-ups of the system are developed following an iterative modification process until the prototype evolves to meet the users\u2019 requirements.<\/li>\r\n\t<li>While most prototypes are developed with the expectation that they will be discarded, it is possible in some cases to evolve from prototype to working system.<\/li>\r\n\t<li>A basic understanding of the fundamental business problem is necessary to avoid solving the wrong problems.<\/li>\r\n<\/ul>\r\n<h3><span id=\"Incremental_development\" class=\"mw-headline\">Incremental development<\/span><\/h3>\r\nVarious methods are acceptable for combining linear and iterative systems development methodologies, with the primary objective of each being to reduce inherent project risk by breaking a project into smaller segments and providing more ease-of-change during the development process.\r\n\r\nThe basic principles are:\r\n<ul>\r\n\t<li>A series of mini-Waterfalls are performed, where all phases of the Waterfall are completed for a small part of a system, before proceeding to the next increment, or<\/li>\r\n\t<li>Overall requirements are defined before proceeding to evolutionary, mini-Waterfall development of individual increments of a system, or<\/li>\r\n\t<li>The initial software concept, requirements analysis, and design of architecture and system core are defined via Waterfall, followed by iterative Prototyping, which culminates in installing the final prototype, a working system.<\/li>\r\n<\/ul>\r\n<h3><span id=\"Iterative_and_incremental_development\" class=\"mw-headline\">Iterative and incremental development<\/span><\/h3>\r\nIterative development<span style=\"font-size: 13.3333330154419px; line-height: 22.2222232818604px;\">\u00a0<\/span>prescribes the construction of initially small but ever-larger portions of a software project to help all those involved to uncover important issues early before problems or faulty assumptions can lead to disaster.\r\n<h3><span id=\"Spiral_development\" class=\"mw-headline\">Spiral development<\/span><\/h3>\r\n<div class=\"thumb tright\">\r\n<div class=\"thumbinner\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"400\"]<img class=\"thumbimage\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/400px-Spiral_model_Boehm_1988.svg.png\" srcset=\"\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/ec\/Spiral_model_%28Boehm%2C_1988%29.svg\/600px-Spiral_model_%28Boehm%2C_1988%29.svg.png 1.5x, \/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/ec\/Spiral_model_%28Boehm%2C_1988%29.svg\/800px-Spiral_model_%28Boehm%2C_1988%29.svg.png 2x\" alt=\"Spiral model showing step 1 as determining objectives, then step 2 as identifying and resolving risks, step 3 as development and test, then step 4 as plan the next iteration.\" width=\"400\" height=\"333\" data-file-width=\"600\" data-file-height=\"500\" \/> Spiral model (Boehm, 1988)[\/caption]\r\n\r\n<div class=\"thumbcaption\">\r\n<div class=\"magnify\">In 1988, Barry Boehm published a formal software system development \"spiral model,\" which combines some key aspect of the waterfall model and rapid prototyping methodologies, in an effort to combine advantages of top-down and bottom-up concepts. It provided emphasis in a key area many felt had been neglected by other methodologies: deliberate iterative risk analysis, particularly suited to large-scale complex systems.<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\nThe basic principles are:\r\n<ul>\r\n\t<li>Focus is on risk assessment and on minimizing project risk by breaking a project into smaller segments and providing more ease-of-change during the development process, as well as providing the opportunity to evaluate risks and weigh consideration of project continuation throughout the life cycle.<\/li>\r\n\t<li>\"Each cycle involves a progression through the same sequence of steps, for each part of the product and for each of its levels of elaboration, from an overall concept-of-operation document down to the coding of each individual program.\"<\/li>\r\n\t<li>Each trip around the spiral traverses four basic quadrants: (1) determine objectives, alternatives, and constraints of the iteration; (2) evaluate alternatives; Identify and resolve risks; (3) develop and verify deliverables from the iteration; and (4) plan the next iteration.<\/li>\r\n\t<li>Begin each cycle with an identification of stakeholders and their \"win conditions\", and end each cycle with review and commitment.<\/li>\r\n<\/ul>\r\n<h3><span id=\"Rapid_application_development\" class=\"mw-headline\">Rapid application development<\/span><\/h3>\r\n<div class=\"thumb tright\">\r\n<div class=\"thumbinner\">\r\n\r\n[caption id=\"\" align=\"alignright\" width=\"250\"]<img class=\"thumbimage\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/220px-RADModel.JPG\" srcset=\"\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/5\/5f\/RADModel.JPG\/330px-RADModel.JPG 1.5x, \/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/5\/5f\/RADModel.JPG\/440px-RADModel.JPG 2x\" alt=\"\" width=\"250\" height=\"160\" data-file-width=\"780\" data-file-height=\"499\" \/> Rapid Application Development (RAD) Model[\/caption]\r\n\r\n<\/div>\r\n<\/div>\r\nRapid application development (RAD) is a software development methodology, which favors iterative development and the rapid construction of prototypes instead of large amounts of up-front planning. The \"planning\" of software developed using RAD is interleaved with writing the software itself. The lack of extensive pre-planning generally allows software to be written much faster, and makes it easier to change requirements.\r\n\r\nThe rapid development process starts with the development of preliminary data models and business process models using structured techniques. In the next stage, requirements are verified using prototyping, eventually to refine the data and process models. These stages are repeated iteratively; further development results in \"a combined business requirements and technical design statement to be used for constructing new systems\".\r\n\r\nThe term was first used to describe a software development process introduced by James Martin in 1991. According to Whitten (2003), it is a merger of various structured techniques, especially data-driven Information Engineering, with prototyping techniques to accelerate software systems development.\r\n\r\nThe basic principles of rapid application development are:\r\n<ul>\r\n\t<li>Key objective is for fast development and delivery of a high quality system at a relatively low investment cost.<\/li>\r\n\t<li>Attempts to reduce inherent project risk by breaking a project into smaller segments and providing more ease-of-change during the development process.<\/li>\r\n\t<li>Aims to produce high quality systems quickly, primarily via iterative Prototyping (at any stage of development), active user involvement, and computerized development tools. These tools may include Graphical User Interface (GUI) builders, Computer Aided Software Engineering (CASE) tools, Database Management Systems (DBMS), fourth-generation programming languages, code generators, and object-oriented techniques.<\/li>\r\n\t<li>Key emphasis is on fulfilling the business need, while technological or engineering excellence is of lesser importance.<\/li>\r\n\t<li>Project control involves prioritizing development and defining delivery deadlines or \u201ctimeboxes.\" If the project starts to slip, emphasis is on reducing requirements to fit the timebox, not in increasing the deadline.<\/li>\r\n\t<li>Generally includes joint application design (JAD), where users are intensely involved in system design, via consensus building in either structured workshops, or electronically facilitated interaction.<\/li>\r\n\t<li>Active user involvement is imperative.<\/li>\r\n\t<li>Iteratively produces production software, as opposed to a throwaway prototype.<\/li>\r\n\t<li>Produces documentation necessary to facilitate future development and maintenance.<\/li>\r\n\t<li>Standard systems analysis and design methods can be fitted into this framework.<\/li>\r\n<\/ul>\r\n<h3><span id=\"Agile_development\" class=\"mw-headline\">Agile development<\/span><\/h3>\r\n\"Agile software development\" refers to a group of software development methodologies based on iterative development, where requirements and solutions evolve via collaboration between self-organizing cross-functional teams. The term was coined in the year 2001 when the Agile Manifesto was formulated.\r\n\r\nAgile software development uses iterative development as a basis but advocates a lighter and more people-centric viewpoint than traditional approaches. Agile processes fundamentally incorporate iteration and the continuous feedback that it provides to successively refine and deliver a software system.\r\n\r\nThere are many agile methodologies, including:\r\n<ul>\r\n\t<li>Dynamic systems development method (DSDM)<\/li>\r\n\t<li>Kanban<\/li>\r\n\t<li>Scrum<\/li>\r\n<\/ul>\r\n<h3><span id=\"Code_and_fix\" class=\"mw-headline\">Code and fix<\/span><\/h3>\r\n\"Code and fix\" development is not so much a deliberate strategy as a result of schedule pressure on software developers.<span style=\"font-size: 13.3333330154419px; line-height: 22.2222232818604px;\">\u00a0<\/span>Without much of a design in the way, programmers immediately begin producing code. At some point, testing begins (often late in the development cycle), and the unavoidable bugsmust then be fixed before the product can be shipped. Programming without a planned-out design is also known as cowboy coding.\r\n<h3><span id=\"Lightweight_methodologies\" class=\"mw-headline\">Lightweight methodologies<\/span><\/h3>\r\nA lightweight methodology has a small number of rules. Some of these methodologies are also considered \"agile\".\r\n<ul>\r\n\t<li>Adaptive Software Development by Jim Highsmith, described in his 1999 book <i>Adaptive Software Development<\/i><\/li>\r\n\t<li>Crystal Clear family of methodologies with Alistair Cockburn,<\/li>\r\n\t<li>Extreme Programming (XP), promoted by people such as Kent Beck and Martin Fowler. In extreme programming, the phases are carried out in extremely small (or \"continuous\") steps compared to the older, \"batch\" processes. The (intentionally incomplete) first pass through the steps might take a day or a week, rather than the months or years of each complete step in the Waterfall model. First, one writes automated tests, to provide concrete goals for development. Next is coding (by programmers working in pairs, a technique known as \"pair programming\"), which is complete when all the tests pass, and the programmers can't think of any more tests that are needed. Design and architecture emerge from refactoring, and come after coding. The same people who do the coding do design. (Only the last feature \u2014 merging design and code \u2014 is common to <i>all<\/i> the other agile processes.) The incomplete but functional system is deployed or demonstrated for (some subset of) the users (at least one of which is on the development team). At this point, the practitioners start again on writing tests for the next most important part of the system.<\/li>\r\n\t<li>Feature Driven Development (FDD) developed (1999) by Jeff De Luca and Peter Coad<\/li>\r\n\t<li>ICONIX\u2014UML-based object modeling with use cases, a lightweight precursor to the Rational Unified Process<\/li>\r\n<\/ul>\r\n<h3><span id=\"Other\" class=\"mw-headline\">Other<\/span><\/h3>\r\nOther high-level software project methodologies include:\r\n<ul>\r\n\t<li>Chaos model\u2014The main rule is always resolve the most important issue first.<\/li>\r\n\t<li>Incremental funding methodology\u2014an iterative approach<\/li>\r\n\t<li>Structured systems analysis and design method\u2014a specific version of waterfall<\/li>\r\n\t<li>Slow programming, as part of the larger Slow Movement, emphasizes careful and gradual work without (or minimal) time pressures. Slow programming aims to avoid bugs and overly quick release schedules.<\/li>\r\n\t<li>V-Model (software development)\u2014an extension of the waterfall model<\/li>\r\n\t<li>Unified Process (UP) is an iterative software development methodology framework, based on Unified Modeling Language (UML). UP organizes the development of software into four phases, each consisting of one or more executable iterations of the software at that stage of development: inception, elaboration, construction, and guidelines. Many tools and products exist to facilitate UP implementation. One of the more popular versions of UP is theRational Unified Process (RUP).<\/li>\r\n<\/ul>\r\n<h2><span id=\"Process_meta-models\" class=\"mw-headline\">Process meta-models<\/span><\/h2>\r\nSome \"process models\" are abstract descriptions for evaluating, comparing, and improving the specific process adopted by an organization.\r\n<ul>\r\n\t<li>ISO\/IEC 12207 is the international standard describing the method to select, implement, and monitor the life cycle for software.<\/li>\r\n\t<li>The Capability Maturity Model Integration (CMMI) is one of the leading models and based on best practice. Independent assessments grade organizations on how well they follow their defined processes, not on the quality of those processes or the software produced. CMMI has replaced\u00a0CMM.<\/li>\r\n\t<li>ISO 9000 describes standards for a formally organized process to manufacture a product and the methods of managing and monitoring progress. Although the standard was originally created for the manufacturing sector, ISO 9000 standards have been applied to software development as well. Like CMMI, certification with ISO 9000 does not guarantee the quality of the end result, only that formalized business processes have been followed.<\/li>\r\n\t<li>ISO\/IEC 15504 <i>Information technology \u2014 Process assessment<\/i> also known as Software Process Improvement Capability Determination (SPICE), is a \"framework for the assessment of software processes\". This standard is aimed at setting out a clear model for process comparison. SPICE is used much like CMMI. It models processes to manage, control, guide and monitor software development. This model is then used to measure what a development organization or project team actually does during software development. This information is analyzed to identify weaknesses and drive improvement. It also identifies strengths that can be continued or integrated into common practice for that organization or team.<\/li>\r\n\t<li>Soft systems methodology - a general method for improving management processes<\/li>\r\n\t<li>Method engineering - a general method for improving information system processes<\/li>\r\n<\/ul>\r\n<h2><span id=\"Formal_methods\" class=\"mw-headline\">Formal methods<\/span><\/h2>\r\nFormal methods are mathematical approaches to solving software (and hardware) problems at the requirements, specification, and design levels. Formal methods are most likely to be applied to safety-critical or security-critical software and systems, such as avionics software. Software safety assurance standards, such as DO-178B, DO-178C, and Common Criteria demand formal methods at the highest levels of categorization.\r\n\r\nFor sequential software, examples of formal methods include the B-Method, the specification languages used in automated theorem proving, RAISE, and the Z notation.\r\n\r\nFormalization of software development is creeping in, in other places, with the application of Object Constraint Language (and specializations such as Java Modeling Language) and especially with model-driven architecture allowing execution of designs, if not specifications.\r\n\r\nFor concurrent software and systems, Petri nets, process algebra, and finite state machines (which are based on automata theory\u2014see also virtual finite state machine or event driven finite state machine) allow executable software specification and can be used to build up and validate application behavior.\r\n\r\nAnother emerging trend in software development is to write a specification in some form of logic\u2014usually a variation of first-order logic (FOL)\u2014and then to directly execute the logic as though it were a program. The OWL language, based on Description Logic (DL), is an example. There is also work on mapping some version of English (or another natural language) automatically to and from logic, and executing the logic directly. Examples are Attempto Controlled English, and Internet Business Logic, which do not seek to control the vocabulary or syntax. A feature of systems that support bidirectional English-logic mapping and direct execution of the logic is that they can be made to explain their results, in English, at the business or scientific level.","rendered":"<h2>Introduction<\/h2>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignright wp-image-826\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/sm_8514593748_c883430b4e_o-819x1024.jpg\" alt=\"Action sequence showing a kayak going over a waterfall. The photo includes eight or so frames superimposed.\" width=\"250\" height=\"313\" \/>In software engineering, a <b>software development methodology<\/b> (also known as a <b>system development methodology<\/b>, <b>software development life cycle<\/b>, <b>software development process<\/b>, <b>software process<\/b>) is a division of software development work into distinct phases (or stages) containing activities with the intent of better planning and management. It is often considered a subset of the systems development life cycle. The methodology may include the pre-definition of specific deliverables and artifacts that are created and completed by a project team to develop or maintain an application.<\/p>\n<p>Common methodologies include waterfall, prototyping, iterative and incremental development, spiral development, rapid application development, extreme programming and various types of agile methodology. Some people consider a life-cycle &#8220;model&#8221; a more general term for a category of methodologies and a software development &#8220;process&#8221; a more specific term to refer to a specific process chosen by a specific organization. For example, there are many specific software development processes that fit the spiral life-cycle model.<\/p>\n<h2><span id=\"In_practice\" class=\"mw-headline\">In practice<\/span><\/h2>\n<div class=\"thumb tright\">\n<div class=\"thumbinner\">\n<div style=\"width: 430px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"thumbimage\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/420px-Three_software_development_patterns_mashed_together.svg.png\" srcset=\"\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/5\/5f\/Three_software_development_patterns_mashed_together.svg\/630px-Three_software_development_patterns_mashed_together.svg.png 1.5x, \/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/5\/5f\/Three_software_development_patterns_mashed_together.svg\/840px-Three_software_development_patterns_mashed_together.svg.png 2x\" alt=\"Image showing Prototyping, Waterfall, and Spiral methodology frameworks.\" width=\"420\" height=\"398\" data-file-width=\"950\" data-file-height=\"900\" \/><\/p>\n<p class=\"wp-caption-text\">The three basic approaches applied to software development methodology frameworks.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p>A variety of such frameworks have evolved over the years, each with its own recognized strengths and weaknesses. One software development methodology framework is not necessarily suitable for use by all projects. Each of the available methodology frameworks are best suited to specific kinds of projects, based on various technical, organizational, project and team considerations.<\/p>\n<p>Software development organizations implement process methodologies to ease the process of development. Sometimes, contractors may require methodologies employed, an example is the U.S. defense industry, which requires a rating based on process models to obtain contracts. The international standard for describing the method of selecting, implementing and monitoring the life cycle for software is ISO\/IEC 12207.<\/p>\n<p>A decades-long goal has been to find repeatable, predictable processes that improve productivity and quality. Some try to systematize or formalize the seemingly unruly task of designing software. Others apply project management techniques to designing software. Without effective project management, software projects can easily be delivered late or over budget. With large numbers of software projects not meeting their expectations in terms of functionality, cost, or delivery schedule, it is effective project management that appears to be lacking.<\/p>\n<p>Organizations may create a Software Engineering Process Group (SEPG), which is the focal point for process improvement. Composed of line practitioners who have varied skills, the group is at the center of the collaborative effort of everyone in the organization who is involved with software engineering process improvement.<\/p>\n<p>A particular development team may also agree to programming environment details, such as which integrated development environment is used, and one or more dominant programming paradigms, programming style rules, or choice of specific software libraries or software frameworks. These details are generally not dictated by the choice of model or general methodology.<\/p>\n<h2><span id=\"History\" class=\"mw-headline\">History<\/span><\/h2>\n<p>The software development methodology (also known as SDM) framework didn&#8217;t emerge until the 1960s. According to Elliott (2004) the systems development life cycle (SDLC) can be considered to be the oldest formalized methodology framework for building information systems. The main idea of the SDLC has been &#8220;to pursue the development of information systems in a very deliberate, structured and methodical way, requiring each stage of the life cycle from inception of the idea to delivery of the final system, to be carried out rigidly and sequentially&#8221;\u00a0within the context of the framework being applied. The main target of this methodology framework in the 1960s was &#8220;to develop large scale functional business systems in an age of large scale business conglomerates. Information systems activities revolved around heavy data processing and number crunching routines.&#8221;<\/p>\n<p>Methodologies, processes, and frameworks range from specific proscriptive steps that can be used directly by an organization in day-to-day work, to flexible frameworks that an organization uses to generate a custom set of steps tailored to the needs of a specific project or group. In some cases a &#8220;sponsor&#8221; or &#8220;maintenance&#8221; organization distributes an official set of documents that describe the process. Specific examples include:<\/p>\n<dl>\n<dt>1970s<\/dt>\n<\/dl>\n<ul>\n<li>Structured programming since 1969<\/li>\n<li>Cap Gemini SDM, originally from PANDATA, the first English translation was published in 1974. SDM stands for System Development Methodology<\/li>\n<\/ul>\n<dl>\n<dt>1980s<\/dt>\n<\/dl>\n<ul>\n<li>Structured systems analysis and design method (SSADM) from 1980 onwards<\/li>\n<li>Information Requirement Analysis\/Soft systems methodology<\/li>\n<\/ul>\n<dl>\n<dt>1990s<\/dt>\n<\/dl>\n<ul>\n<li>Object-oriented programming (OOP) developed in the early 1960s, and became a dominant programming approach during the mid-1990s<\/li>\n<li>Rapid application development (RAD), since 1991<\/li>\n<li>Dynamic systems development method (DSDM), since 1994<\/li>\n<li>Scrum, since 1995<\/li>\n<li>Team software process, since 1998<\/li>\n<li>Rational Unified Process (RUP), maintained by IBM since 1998<\/li>\n<li>Extreme programming, since 1999<\/li>\n<\/ul>\n<dl>\n<dt>2000s<\/dt>\n<\/dl>\n<ul>\n<li>Agile Unified Process (AUP) maintained since 2005 by Scott Ambler<\/li>\n<\/ul>\n<h2><span id=\"Approaches\" class=\"mw-headline\">Approaches<\/span><\/h2>\n<p>Several software development approaches have been used since the origin of information technology, in two main categories. Typically an approach or a combination of approaches is chosen by management or a development team.<\/p>\n<p>&#8220;Traditional&#8221; methodologies such as waterfall that have distinct phases are sometimes known as <b>software development life cycle<\/b> (SDLC) methodologies, though this term could also be used more generally to refer to any methodology. A &#8220;life cycle&#8221; approach with distinct phases is in contrast to Agile approaches which define a process of iteration, but where design, construction, and deployment of different pieces can occur simultaneously.<\/p>\n<h3><span id=\"Waterfall_development\" class=\"mw-headline\">Waterfall development<\/span><\/h3>\n<div class=\"thumb tright\">\n<div class=\"thumbinner\">\n<div style=\"width: 261px\" class=\"wp-caption alignright\"><img loading=\"lazy\" decoding=\"async\" class=\"thumbimage\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/220px-Waterfall_model.svg.png\" srcset=\"\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/e2\/Waterfall_model.svg\/330px-Waterfall_model.svg.png 1.5x, \/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/e2\/Waterfall_model.svg\/440px-Waterfall_model.svg.png 2x\" alt=\"Image showing a waterfall, beginning with requirements, then showing that design, implementation, verification, and maintenance come next.\" width=\"251\" height=\"188\" data-file-width=\"800\" data-file-height=\"600\" \/><\/p>\n<p class=\"wp-caption-text\">The activities of the software development process represented in the waterfall model. There are several other models to represent this process.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p>The waterfall model is a sequential development approach, in which development is seen as flowing steadily downwards (like a waterfall) through several phases, typically:<\/p>\n<ul>\n<li>Requirements analysis resulting in a software requirements specification<\/li>\n<li>Software design<\/li>\n<li>Implementation<\/li>\n<li>Testing<\/li>\n<li>Integration, if there are multiple subsystems<\/li>\n<li>Deployment (or Installation)<\/li>\n<li>Maintenance<\/li>\n<\/ul>\n<p>The first formal description of the method is often cited as an article published by Winston W. Royce\u00a0in 1970 although Royce did not use the term &#8220;waterfall&#8221; in this article. The basic principles are:<\/p>\n<ul>\n<li>Project is divided into sequential phases, with some overlap and splashback acceptable between phases.<\/li>\n<li>Emphasis is on planning, time schedules, target dates, budgets and implementation of an entire system at one time.<\/li>\n<li>Tight control is maintained over the life of the project via extensive written documentation, formal reviews, and approval\/signoff by the user and information technology management occurring at the end of most phases before beginning the next phase.<\/li>\n<\/ul>\n<p>The waterfall model is a traditional engineering approach applied to software engineering. A strict waterfall approach discourages revisiting and revising any prior phase once it is complete. This &#8220;inflexibility&#8221; in a pure waterfall model has been a source of criticism by supporters of other more &#8220;flexible&#8221; models. It has been widely blamed for several large-scale government projects running over budget, over time and sometimes failing to deliver on requirements due to the Big Design Up Front approach. Except when contractually required, the waterfall model has been largely superseded by more flexible and versatile methodologies developed specifically for software development. See Criticism of Waterfall model.<\/p>\n<p>The waterfall model is also commonly taught with the mnemonic A Dance in the Dark Every Monday, representing Analysis, Design, Implementation, Testing, Documentation and Execution, and Maintenance.<\/p>\n<h3><span id=\"Prototyping\" class=\"mw-headline\">Prototyping<\/span><\/h3>\n<p>Software prototyping, is the development approach of activities during software development, the creation of prototypes, i.e., incomplete versions of the software program being developed.<\/p>\n<p>The basic principles are:<\/p>\n<ul>\n<li>Not a standalone, complete development methodology, but rather an approach to handle selected parts of a larger, more traditional development methodology (i.e. incremental, spiral, or rapid application development (RAD)).<\/li>\n<li>Attempts to reduce inherent project risk by breaking a project into smaller segments and providing more ease-of-change during the development process.<\/li>\n<li>User is involved throughout the development process, which increases the likelihood of user acceptance of the final implementation.<\/li>\n<li>Small-scale mock-ups of the system are developed following an iterative modification process until the prototype evolves to meet the users\u2019 requirements.<\/li>\n<li>While most prototypes are developed with the expectation that they will be discarded, it is possible in some cases to evolve from prototype to working system.<\/li>\n<li>A basic understanding of the fundamental business problem is necessary to avoid solving the wrong problems.<\/li>\n<\/ul>\n<h3><span id=\"Incremental_development\" class=\"mw-headline\">Incremental development<\/span><\/h3>\n<p>Various methods are acceptable for combining linear and iterative systems development methodologies, with the primary objective of each being to reduce inherent project risk by breaking a project into smaller segments and providing more ease-of-change during the development process.<\/p>\n<p>The basic principles are:<\/p>\n<ul>\n<li>A series of mini-Waterfalls are performed, where all phases of the Waterfall are completed for a small part of a system, before proceeding to the next increment, or<\/li>\n<li>Overall requirements are defined before proceeding to evolutionary, mini-Waterfall development of individual increments of a system, or<\/li>\n<li>The initial software concept, requirements analysis, and design of architecture and system core are defined via Waterfall, followed by iterative Prototyping, which culminates in installing the final prototype, a working system.<\/li>\n<\/ul>\n<h3><span id=\"Iterative_and_incremental_development\" class=\"mw-headline\">Iterative and incremental development<\/span><\/h3>\n<p>Iterative development<span style=\"font-size: 13.3333330154419px; line-height: 22.2222232818604px;\">\u00a0<\/span>prescribes the construction of initially small but ever-larger portions of a software project to help all those involved to uncover important issues early before problems or faulty assumptions can lead to disaster.<\/p>\n<h3><span id=\"Spiral_development\" class=\"mw-headline\">Spiral development<\/span><\/h3>\n<div class=\"thumb tright\">\n<div class=\"thumbinner\">\n<div style=\"width: 410px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"thumbimage\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/400px-Spiral_model_Boehm_1988.svg.png\" srcset=\"\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/ec\/Spiral_model_%28Boehm%2C_1988%29.svg\/600px-Spiral_model_%28Boehm%2C_1988%29.svg.png 1.5x, \/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/ec\/Spiral_model_%28Boehm%2C_1988%29.svg\/800px-Spiral_model_%28Boehm%2C_1988%29.svg.png 2x\" alt=\"Spiral model showing step 1 as determining objectives, then step 2 as identifying and resolving risks, step 3 as development and test, then step 4 as plan the next iteration.\" width=\"400\" height=\"333\" data-file-width=\"600\" data-file-height=\"500\" \/><\/p>\n<p class=\"wp-caption-text\">Spiral model (Boehm, 1988)<\/p>\n<\/div>\n<div class=\"thumbcaption\">\n<div class=\"magnify\">In 1988, Barry Boehm published a formal software system development &#8220;spiral model,&#8221; which combines some key aspect of the waterfall model and rapid prototyping methodologies, in an effort to combine advantages of top-down and bottom-up concepts. It provided emphasis in a key area many felt had been neglected by other methodologies: deliberate iterative risk analysis, particularly suited to large-scale complex systems.<\/div>\n<\/div>\n<\/div>\n<\/div>\n<p>The basic principles are:<\/p>\n<ul>\n<li>Focus is on risk assessment and on minimizing project risk by breaking a project into smaller segments and providing more ease-of-change during the development process, as well as providing the opportunity to evaluate risks and weigh consideration of project continuation throughout the life cycle.<\/li>\n<li>&#8220;Each cycle involves a progression through the same sequence of steps, for each part of the product and for each of its levels of elaboration, from an overall concept-of-operation document down to the coding of each individual program.&#8221;<\/li>\n<li>Each trip around the spiral traverses four basic quadrants: (1) determine objectives, alternatives, and constraints of the iteration; (2) evaluate alternatives; Identify and resolve risks; (3) develop and verify deliverables from the iteration; and (4) plan the next iteration.<\/li>\n<li>Begin each cycle with an identification of stakeholders and their &#8220;win conditions&#8221;, and end each cycle with review and commitment.<\/li>\n<\/ul>\n<h3><span id=\"Rapid_application_development\" class=\"mw-headline\">Rapid application development<\/span><\/h3>\n<div class=\"thumb tright\">\n<div class=\"thumbinner\">\n<div style=\"width: 260px\" class=\"wp-caption alignright\"><img loading=\"lazy\" decoding=\"async\" class=\"thumbimage\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/candimgs\/hkKKqM\/220px-RADModel.JPG\" srcset=\"\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/5\/5f\/RADModel.JPG\/330px-RADModel.JPG 1.5x, \/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/5\/5f\/RADModel.JPG\/440px-RADModel.JPG 2x\" alt=\"\" width=\"250\" height=\"160\" data-file-width=\"780\" data-file-height=\"499\" \/><\/p>\n<p class=\"wp-caption-text\">Rapid Application Development (RAD) Model<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p>Rapid application development (RAD) is a software development methodology, which favors iterative development and the rapid construction of prototypes instead of large amounts of up-front planning. The &#8220;planning&#8221; of software developed using RAD is interleaved with writing the software itself. The lack of extensive pre-planning generally allows software to be written much faster, and makes it easier to change requirements.<\/p>\n<p>The rapid development process starts with the development of preliminary data models and business process models using structured techniques. In the next stage, requirements are verified using prototyping, eventually to refine the data and process models. These stages are repeated iteratively; further development results in &#8220;a combined business requirements and technical design statement to be used for constructing new systems&#8221;.<\/p>\n<p>The term was first used to describe a software development process introduced by James Martin in 1991. According to Whitten (2003), it is a merger of various structured techniques, especially data-driven Information Engineering, with prototyping techniques to accelerate software systems development.<\/p>\n<p>The basic principles of rapid application development are:<\/p>\n<ul>\n<li>Key objective is for fast development and delivery of a high quality system at a relatively low investment cost.<\/li>\n<li>Attempts to reduce inherent project risk by breaking a project into smaller segments and providing more ease-of-change during the development process.<\/li>\n<li>Aims to produce high quality systems quickly, primarily via iterative Prototyping (at any stage of development), active user involvement, and computerized development tools. These tools may include Graphical User Interface (GUI) builders, Computer Aided Software Engineering (CASE) tools, Database Management Systems (DBMS), fourth-generation programming languages, code generators, and object-oriented techniques.<\/li>\n<li>Key emphasis is on fulfilling the business need, while technological or engineering excellence is of lesser importance.<\/li>\n<li>Project control involves prioritizing development and defining delivery deadlines or \u201ctimeboxes.&#8221; If the project starts to slip, emphasis is on reducing requirements to fit the timebox, not in increasing the deadline.<\/li>\n<li>Generally includes joint application design (JAD), where users are intensely involved in system design, via consensus building in either structured workshops, or electronically facilitated interaction.<\/li>\n<li>Active user involvement is imperative.<\/li>\n<li>Iteratively produces production software, as opposed to a throwaway prototype.<\/li>\n<li>Produces documentation necessary to facilitate future development and maintenance.<\/li>\n<li>Standard systems analysis and design methods can be fitted into this framework.<\/li>\n<\/ul>\n<h3><span id=\"Agile_development\" class=\"mw-headline\">Agile development<\/span><\/h3>\n<p>&#8220;Agile software development&#8221; refers to a group of software development methodologies based on iterative development, where requirements and solutions evolve via collaboration between self-organizing cross-functional teams. The term was coined in the year 2001 when the Agile Manifesto was formulated.<\/p>\n<p>Agile software development uses iterative development as a basis but advocates a lighter and more people-centric viewpoint than traditional approaches. Agile processes fundamentally incorporate iteration and the continuous feedback that it provides to successively refine and deliver a software system.<\/p>\n<p>There are many agile methodologies, including:<\/p>\n<ul>\n<li>Dynamic systems development method (DSDM)<\/li>\n<li>Kanban<\/li>\n<li>Scrum<\/li>\n<\/ul>\n<h3><span id=\"Code_and_fix\" class=\"mw-headline\">Code and fix<\/span><\/h3>\n<p>&#8220;Code and fix&#8221; development is not so much a deliberate strategy as a result of schedule pressure on software developers.<span style=\"font-size: 13.3333330154419px; line-height: 22.2222232818604px;\">\u00a0<\/span>Without much of a design in the way, programmers immediately begin producing code. At some point, testing begins (often late in the development cycle), and the unavoidable bugsmust then be fixed before the product can be shipped. Programming without a planned-out design is also known as cowboy coding.<\/p>\n<h3><span id=\"Lightweight_methodologies\" class=\"mw-headline\">Lightweight methodologies<\/span><\/h3>\n<p>A lightweight methodology has a small number of rules. Some of these methodologies are also considered &#8220;agile&#8221;.<\/p>\n<ul>\n<li>Adaptive Software Development by Jim Highsmith, described in his 1999 book <i>Adaptive Software Development<\/i><\/li>\n<li>Crystal Clear family of methodologies with Alistair Cockburn,<\/li>\n<li>Extreme Programming (XP), promoted by people such as Kent Beck and Martin Fowler. In extreme programming, the phases are carried out in extremely small (or &#8220;continuous&#8221;) steps compared to the older, &#8220;batch&#8221; processes. The (intentionally incomplete) first pass through the steps might take a day or a week, rather than the months or years of each complete step in the Waterfall model. First, one writes automated tests, to provide concrete goals for development. Next is coding (by programmers working in pairs, a technique known as &#8220;pair programming&#8221;), which is complete when all the tests pass, and the programmers can&#8217;t think of any more tests that are needed. Design and architecture emerge from refactoring, and come after coding. The same people who do the coding do design. (Only the last feature \u2014 merging design and code \u2014 is common to <i>all<\/i> the other agile processes.) The incomplete but functional system is deployed or demonstrated for (some subset of) the users (at least one of which is on the development team). At this point, the practitioners start again on writing tests for the next most important part of the system.<\/li>\n<li>Feature Driven Development (FDD) developed (1999) by Jeff De Luca and Peter Coad<\/li>\n<li>ICONIX\u2014UML-based object modeling with use cases, a lightweight precursor to the Rational Unified Process<\/li>\n<\/ul>\n<h3><span id=\"Other\" class=\"mw-headline\">Other<\/span><\/h3>\n<p>Other high-level software project methodologies include:<\/p>\n<ul>\n<li>Chaos model\u2014The main rule is always resolve the most important issue first.<\/li>\n<li>Incremental funding methodology\u2014an iterative approach<\/li>\n<li>Structured systems analysis and design method\u2014a specific version of waterfall<\/li>\n<li>Slow programming, as part of the larger Slow Movement, emphasizes careful and gradual work without (or minimal) time pressures. Slow programming aims to avoid bugs and overly quick release schedules.<\/li>\n<li>V-Model (software development)\u2014an extension of the waterfall model<\/li>\n<li>Unified Process (UP) is an iterative software development methodology framework, based on Unified Modeling Language (UML). UP organizes the development of software into four phases, each consisting of one or more executable iterations of the software at that stage of development: inception, elaboration, construction, and guidelines. Many tools and products exist to facilitate UP implementation. One of the more popular versions of UP is theRational Unified Process (RUP).<\/li>\n<\/ul>\n<h2><span id=\"Process_meta-models\" class=\"mw-headline\">Process meta-models<\/span><\/h2>\n<p>Some &#8220;process models&#8221; are abstract descriptions for evaluating, comparing, and improving the specific process adopted by an organization.<\/p>\n<ul>\n<li>ISO\/IEC 12207 is the international standard describing the method to select, implement, and monitor the life cycle for software.<\/li>\n<li>The Capability Maturity Model Integration (CMMI) is one of the leading models and based on best practice. Independent assessments grade organizations on how well they follow their defined processes, not on the quality of those processes or the software produced. CMMI has replaced\u00a0CMM.<\/li>\n<li>ISO 9000 describes standards for a formally organized process to manufacture a product and the methods of managing and monitoring progress. Although the standard was originally created for the manufacturing sector, ISO 9000 standards have been applied to software development as well. Like CMMI, certification with ISO 9000 does not guarantee the quality of the end result, only that formalized business processes have been followed.<\/li>\n<li>ISO\/IEC 15504 <i>Information technology \u2014 Process assessment<\/i> also known as Software Process Improvement Capability Determination (SPICE), is a &#8220;framework for the assessment of software processes&#8221;. This standard is aimed at setting out a clear model for process comparison. SPICE is used much like CMMI. It models processes to manage, control, guide and monitor software development. This model is then used to measure what a development organization or project team actually does during software development. This information is analyzed to identify weaknesses and drive improvement. It also identifies strengths that can be continued or integrated into common practice for that organization or team.<\/li>\n<li>Soft systems methodology &#8211; a general method for improving management processes<\/li>\n<li>Method engineering &#8211; a general method for improving information system processes<\/li>\n<\/ul>\n<h2><span id=\"Formal_methods\" class=\"mw-headline\">Formal methods<\/span><\/h2>\n<p>Formal methods are mathematical approaches to solving software (and hardware) problems at the requirements, specification, and design levels. Formal methods are most likely to be applied to safety-critical or security-critical software and systems, such as avionics software. Software safety assurance standards, such as DO-178B, DO-178C, and Common Criteria demand formal methods at the highest levels of categorization.<\/p>\n<p>For sequential software, examples of formal methods include the B-Method, the specification languages used in automated theorem proving, RAISE, and the Z notation.<\/p>\n<p>Formalization of software development is creeping in, in other places, with the application of Object Constraint Language (and specializations such as Java Modeling Language) and especially with model-driven architecture allowing execution of designs, if not specifications.<\/p>\n<p>For concurrent software and systems, Petri nets, process algebra, and finite state machines (which are based on automata theory\u2014see also virtual finite state machine or event driven finite state machine) allow executable software specification and can be used to build up and validate application behavior.<\/p>\n<p>Another emerging trend in software development is to write a specification in some form of logic\u2014usually a variation of first-order logic (FOL)\u2014and then to directly execute the logic as though it were a program. The OWL language, based on Description Logic (DL), is an example. There is also work on mapping some version of English (or another natural language) automatically to and from logic, and executing the logic directly. Examples are Attempto Controlled English, and Internet Business Logic, which do not seek to control the vocabulary or syntax. A feature of systems that support bidirectional English-logic mapping and direct execution of the logic is that they can be made to explain their results, in English, at the business or scientific level.<\/p>\n\n\t\t\t <section class=\"citations-section\" role=\"contentinfo\">\n\t\t\t <h3>Candela Citations<\/h3>\n\t\t\t\t\t <div>\n\t\t\t\t\t\t <div id=\"citation-list-323\">\n\t\t\t\t\t\t\t <div class=\"licensing\"><div class=\"license-attribution-dropdown-subheading\">CC licensed content, Shared previously<\/div><ul class=\"citation-list\"><li>Software Development Process. <strong>Provided by<\/strong>: Wikipedia. <strong>Located at<\/strong>: <a target=\"_blank\" href=\"https:\/\/en.wikipedia.org\/wiki\/Software_development_process\">https:\/\/en.wikipedia.org\/wiki\/Software_development_process<\/a>. <strong>License<\/strong>: <em><a target=\"_blank\" rel=\"license\" href=\"https:\/\/creativecommons.org\/licenses\/by\/4.0\/\">CC BY: Attribution<\/a><\/em><\/li><li>Waterfall-Kayak-Drop, Action-Sequence. <strong>Authored by<\/strong>: Leigh Anderson. <strong>Located at<\/strong>: <a target=\"_blank\" href=\"https:\/\/www.flickr.com\/photos\/leighanderson\/8514593748\/\">https:\/\/www.flickr.com\/photos\/leighanderson\/8514593748\/<\/a>. <strong>License<\/strong>: <em><a target=\"_blank\" rel=\"license\" href=\"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/\">CC BY-NC-ND: Attribution-NonCommercial-NoDerivatives <\/a><\/em><\/li><\/ul><\/div>\n\t\t\t\t\t\t <\/div>\n\t\t\t\t\t <\/div>\n\t\t\t <\/section>","protected":false},"author":74,"menu_order":7,"template":"","meta":{"_candela_citation":"[{\"type\":\"cc\",\"description\":\"Software Development Process\",\"author\":\"\",\"organization\":\"Wikipedia\",\"url\":\"https:\/\/en.wikipedia.org\/wiki\/Software_development_process\",\"project\":\"\",\"license\":\"cc-by\",\"license_terms\":\"\"},{\"type\":\"cc\",\"description\":\"Waterfall-Kayak-Drop, Action-Sequence\",\"author\":\"Leigh Anderson\",\"organization\":\"\",\"url\":\"https:\/\/www.flickr.com\/photos\/leighanderson\/8514593748\/\",\"project\":\"\",\"license\":\"cc-by-nc-nd\",\"license_terms\":\"\"}]","CANDELA_OUTCOMES_GUID":"","pb_show_title":"","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"class_list":["post-323","chapter","type-chapter","status-publish","hentry"],"part":307,"_links":{"self":[{"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/pressbooks\/v2\/chapters\/323","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/wp\/v2\/users\/74"}],"version-history":[{"count":7,"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/pressbooks\/v2\/chapters\/323\/revisions"}],"predecessor-version":[{"id":1306,"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/pressbooks\/v2\/chapters\/323\/revisions\/1306"}],"part":[{"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/pressbooks\/v2\/parts\/307"}],"metadata":[{"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/pressbooks\/v2\/chapters\/323\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/wp\/v2\/media?parent=323"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/pressbooks\/v2\/chapter-type?post=323"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/wp\/v2\/contributor?post=323"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/sanjacinto-computerapps\/wp-json\/wp\/v2\/license?post=323"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}