Formal Methods Assignment 1.pdf - ZQMS-ARC-REC-002 ASSIGNMENT COVER REGION_Harare PROGRAM_BSEH_INTAKE_1 FULL NAME OF STUDENT_Elijah F M

Formal Methods Assignment 1.pdf - ZQMS-ARC-REC-002...

This preview shows page 1 - 4 out of 11 pages.

ZQMS-ARC-REC-002 ASSIGNMENT COVER REGION: ________Harare_______ _________________________________________________________ PROGRAM: ______BSEH__________________________ _____________INTAKE: ___1_______ FULL NAME OF STUDENT: __Elijah F. M Chimanya_______ _______PIN: __p1627295k_ MAILING ADDRESS: ______________________________________________________________ CONTACT TELEPHONE/CELL: _0782884292__ ID. NO.: _63-2003203C43____ COURSE NAME: _Formal _Methods_____________ COURSE CODE:_BSEH411___ ___ ASSIGNMENT NO. e.g. 1 or 2: ____ ____1________________ DUE DATE: _30/09/19_ ASSIGNMENT TITLE: ___Assignment 1 Formal Methods__________________________ _________________________________________________________________________________ ______________________________________________________________________________ MARKER’S COMMENTS: ______________________________________________________ ______________________________________________________________________________ OVERALL MARK: _____________ MARKER’S NAME: ________________________ MARKER’S SIGNATURE:_______________________________ DATE: ___________
a) One of the process in developing and using formal specification is to equally divide specification among broad classes such as functionality, operations, behavior and interface. Give a short description of the four classes functionality, operations, behavior and interface [8] b) “ Formal specification serve only to clearly state systems requirements ” i. Describe why software developers must maintain high –level abstraction [4]

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture