Software Development Life Cycle (SDLC)

954 Words2 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> Implementation> Testing> Deployment > Maintenance.

If there’s any problem occur during “Testing” phase. The programmer may need to re-design the code and re-implement the partial of the system that occur error. (Russell Kay, 2002)

They’re various types of SDLC Methodologies. Examples are:

1. Waterfall Model

2. V-Shaped Model

3. Evolutionary Prototyping Model

4. Spiral Model

5. Agile Model

From the example above, the most famous model was “Waterfall Model”. Waterfall Model is one of a methodology that flows from top to bottom steadily. Each phase is require to wait the previous phase completed before proceed to current or next phase. No matter how, when using the “Waterfall Model” as SDLC. Users have to face time consumption problem and also may lead to last expenses. (Mohamed Sami, 2012)

What is Formal Method?

Formal Method is a kind mathematics method that used in Designing, Implementing, and testing the software, which have been, or going to develop.

(L.Lensink, 2013)

Users that use Formal Method in software develop...

... middle of paper ...

...ng

Ext

rd Subject:Subject-set

Pre

True

Post

GenSub = Subject

References Lists

Leonard Lensink, 6 November 2013, Applying Formal Methods in Software Development, available from , accessed on 09 April 2014

Marwan Alshar’e, February 2014, FM Lecture 1, Formal Method in Software Engineering, lecture notes distributed in FMSE at FTMS on 21 Feb 2014

Mohamed Sami, 15 March 2012, Software Development Life Cycle, available from accessed on: 08 April 2014

Russell Kay, 14 May 2002, QuickStudy: System Development Life System, ComputerWorld, available from accessed on: 08 April 2014

Open Document