SOFTWARE ENGINEERING A REPORT ON : SCRUM VS KANBAN REPORT Scrum Methodology What Is Scrum? Scrum is a subset of Agile and one of the most popular process frameworks for implementing Agile. It is an initial software development model used to manage complex software and product development. Fixed-length iterations, called sprints lasting one to two weeks long, allow the team to ship software on a regular cadence. At the end of each sprint, stakeholders and team members meet to plan next steps. Scrum follows a set of roles, responsibilities, and meetings that never change. For example, Scrum calls for four ceremonies that provide structure to each sprint: sprint planning, daily stand-up, sprint demo, and sprint retrospective. During each sprint, the team will use visual artifacts like task boards or burndown charts to show progress and receive incremental feedback. Jeff Sutherland created the Scrum process in 1993, taking the term “Scrum” from an...
SOFTWARE ENGINEERING A report on : FORMAL DESIGNS IN SOFTWARE ENGINEERING Introduction Ever since the first systems appeared, a question has been why systems are not fault free. The simple answer is that even the most rudimentary system is affected by parameters we cannot grasp and stimuli we cannot control. If we limit the scope of the question to IT systems, the development process itself is full of opportunities to introduce faults and bugs into the code. Formal methods, what they are and how they can reduce the number of faults and bugs, and we present a background describing the development process. Formal methods in software engineering In computer science, formal methods are “mathematically rigorous techniques and tools for the specification, design and verification of software and hardware systems” [43]. Mathematically rigorous means that the specification consists of well-formed statements using mathematical logic and that a formal verification ...