This website uses cookies to ensure you have the best experience. Learn more

Software Development Life Cycle (Sdlc) Essay

1065 words - 5 pages

No. Titles Page Numbers
1 What is SDLC 2
2 What is Formal Method 2 to 3
3 How SDLC was used in Formal Method 3
4 The necessary constraint of the school system 4
5 Mind Maps Diagram 5
6 Class Diagram 6
7 VDM Specification 7 to 10
8 List of References 11
9 END N/A

A) Describe the SDLC and how it can be evoke with Formal Methods.

What is SDLC?

SDLC also know as Software Development Life Cycle. SDLC is a framework / guidelines to describe the activities that need to be carried during developing a software project at each stages. [Session 2.pptx] They’re few standard steps/phases in a SDLC. The steps/phases are:

Project Planning > System Analysis > System Design> ...view middle of the document...

Health monitoring system.
2. Air Craft System
3. Temperature monitoring system

Formal method was come in Three Level. They’re “Level 0”, “Level 1” and “Level 2”. The formal methods also grouped in to 3 generals categories. They are:

1. Axiomatic Methods – In this method, the state changes was defined for the system. They’re Pre-Condition, Post Condition, variant and invariants will be specified in this method.

2. Operational Methods – The sequence of the operation was formally specified.

3. Denotation Methods – The system was specified with the usage of “Domain theory”.

With the help of Formal Method, the error that on occurs in a system can be reduced or prevented. Usage of formal method may speed up the software development time and cost due to the error was founded in the early stage.
(Marwan, 2014)

How SDLC was used in Formal Method?

SDLC was proceeding through several processes / phases. By apply the formal method in the SDLC cycles. We can design a safety and reliable critical system. For example: ”Heart Rate Monitor System”. Usage of formal method also can help in describing the system that is complex. We can use Formal Method to support in developing the program / system. With the help of formal method, we can able to understand / clarify more in the requirement of customer for the system. By using the SDLC, software can be developing in a standard way. The software may doesn’t feel comfortable or friendly to use. But with the help of formal method, we can develop software to looks more elegant.

B) Study the above scenario and clearly identify all the necessary constraint for a school system.

The necessary constraint of the school system

1. School need to set the maximum number of subjects that a student can enroll in at single semester to 5 subjects.
2. Registration process system needs to get info as the student identification number, student name, subject code and subject name.
3. System need to keep and maintain info about students balance and when register to any course.

C) Based on the above scenario, create a Mind Maps Diagrams, a Class Diagram and a VDM Specification

Mind Maps Diagram


Class Diagram

Class Diagram of School System


VDM specification

Types

stuName:Token
stuID:Token
stuAmt:Token

subName:Token
subID:Token
subPrice:Token
seatsAvai:Token

Student:: StuName: stuName
StuID: stuID
StuAmt: stuAmt

Subject:: SubName: subName
SubID: subID...

Find Another Essay On Software Development Life Cycle (SDLC)

Software life cycle Essay

966 words - 4 pages According to Cem Kaner, "The full business, from initial thinking to final use, is called the product's life cycle." A life cycle is the sequence in which a project specifies, prototypes, designs, implements, tests, and maintains a piece of software. Explicit recognition of a life cycle encourages development teams to address development issues at the appropriate time; for example, to establish basic software requirements before design or coding

System Development Life Cycle Models Essay

1051 words - 5 pages . OSQA. (2009). SDLC Models. Retrieved November 9th 2013, from http://www.onestopqa.com/resources/SDLC%20Models.pdf Radhika, A. D. (2013). Comparison of Different SDLC Models. International Journal of Computer Applications & Information Technology Vol. 2, Issue 1. Wen, J. H., Guntamukkala, V. & Tarn, M. J. (2006). An Empirical Study of Selecting Software Development Life Cycle Models. IOS Press. Human Systems Management Vol. 25 Pg. 265-278.

System Elements-Data Roles in System Development - End Users Systems Development Life Cycle – Feasibility CMGT 555 / Systems Analysis and Development

1323 words - 5 pages Week 1 Paper GMGT 555- A BBB PAGE 1 System Elements-DataRoles in System Development - End UsersSystems Development Life Cycle - FeasibilityCMGT 555 / Systems Analysis and DevelopmentDarrell BroylesUniversity Of PhoenixDecember 2, 2006System Elements-DataThe design of a system varies in response to the expected audience for the perticulare application. Some systems are intended for back rooms, some for the front office, and some are for the

Project Analysis Approach and Project Development Life Cycle Methodologies Process

2238 words - 9 pages , which reduce inventory holding cost that the company need for working capital. (Hill/Jones, Page 121)* R&D vs. Efficiency: The role of superior research and development in helping a company achieve a greater efficiency and lower cost structure. The R&D can boost efficiency by designing products that are easy to manufactured and by cutting down on the number of parts that make up a product. These will reduce the require assembly time

TQM Initiatives in Optimising Software Development Life Cycles

3566 words - 14 pages limitations.IntroductionThe AI team specialises in large-scale, fixed-time, fixed-price custom software development projects. They are proud of, and are unique at, delivering software projects on time and on budget. Their mature project management and software development processes, which are all ISO 9001 certified, attracts government and public sector clientele. The projects which ACME Systems undertake last from 6 months ($0.5million) to 3 years ($10million

Client Service and Management

1834 words - 8 pages In IT Companies, project which works on software product development face multiple challenges or issues during their entire software life cycle. One of the regular challenges which they face is the different kind or defects or issues in the software they developed or enhanced. These defects or issues are the problems which exist in their software. Normally the issues are unavoidable in any software’s. Even if certain piece of code introduced to

Creating a Customer Information System for the York Bikes Company

2100 words - 9 pages inspirational video to energize the employees morale and mind set in ensuring that this project can be made a great success. Works Cited Citation list: Purcell, J. E. (2008). Building security into the system development life cycle (sdlc) a case study . Retrieved from http://software-security.sans.org/resources/paper/cissp/building-security-system-development-life-cycle-sdlc-case-study The mindmap blog. (2008, 06 24). Retrieved from http

Essential Roles of the HITECH Systems Analysis and Design

1169 words - 5 pages rising cost of healthcare. Therefore, it is has become imperative for developers to effectively use systems development life cycle (SDLC) to build technological infrastructures that will meet and exceeds the requirements of the HITECH legislature. The primary goal of this paper is to examine the essential roles of the systems analysis and design phases. The Theory of Systems Analysis In the late 1940’s, the systems theory was proposed by

System Analysis

947 words - 4 pages System Development Life Cycle (SDLC) - a methodology used to develop, maintain, and replace information systems. The stages in the SDLC are: Analysis, Design, Development, Integration and Testing, ImplementationThe stages of the systems cycleFeasibility study- Feasibility study is usually carried out by a team of people with experience in information systems techniques, with knowledge of the type of system being proposed and who are skilled in

Systems Life Cycle

793 words - 3 pages System Development Life Cycle PAGE 1 System Development Life Cycle PAGE 3 System DevelopmentMartin NussairatHCI/510July 13th , 2014University of PhoenixSystem DevelopmentA system life cycle is a general procedure for creating data frameworks. It gives a structure to the devices, procedures and systems required to assemble and actualize frameworks that satisfactorily address business needs. The system development life cycle has four major

Life Cycle

793 words - 3 pages System Development Life Cycle PAGE 1 System Development Life Cycle PAGE 3 System DevelopmentMartin NussairatHCI/510July 13th , 2014University of PhoenixSystem DevelopmentA system life cycle is a general procedure for creating data frameworks. It gives a structure to the devices, procedures and systems required to assemble and actualize frameworks that satisfactorily address business needs. The system development life cycle has four major

Similar Essays

System Development Life Cycle (Sdlc) Essay

783 words - 3 pages The System Development Life CycleThe Systems Development Life Cycle (SDLC) serves as a method that assures Information Systems (IS) being developed meet the requirements and needs of an organization or company. This methodology creates processes and guidelines managing the planning, system analysis, design, implementation, and maintenance of IS within a company. The primary objectives of any SDLC are to implement an IS that: 1.) meets or exceeds

System Development Life Cycle Sdlc

1360 words - 5 pages System Analysis PAGE \* Arabic 1 System Development Life Cycle (SDLC) - System Analysis##########University of Phoenix OnlineCIS 319########13 January 2008System Development Life Cycle (SDLC) - System AnalysisAbstractThis paper will attempt to highlight the importance of developing a comprehensive plan to conduct a system analysis that is a portion of the System Development Life Cycle (SDLC). The SDLC is the process of developing information

Software Development Life Cycle Analysis

3273 words - 13 pages Abstract Early detection of faults in Software Development Life Cycle (SDLC) can significantly reduce the cost and shorten the time to deliver a certain product to market. Requirement based testing involves using requirement as the basis for generating test cases. This paper present a systematic review of requirement based testing exploring the hidden capabilities and challenges of the research that has been accomplished over the years. The

Software Development Life Cycle: Insource Vs Outsource

1049 words - 4 pages Software Development Life Cycle: Insource vs Outsource After hearing the hype and realizing the alluring advantages of outsourcing, many companies are weighing the options of outsourcing vs insourcing when developing a software application. Software development requires intricate planning, skilled implementation, and thorough testing. Understanding the Software Development Life Cycle (SDLC) is important in order to track project progress