Scribd Logo
Upload

Welcome to Scribd!

  • Assignment 03 Formal Methods

    Uploaded by

    aliumer
    12 views1 page
    The document provides instructions for an assignment on formal methods in software engineering. It includes a UML diagram and asks students to write OCL statements for 4 business rules: that married people must be age 18 or older, a company has at least 50 employees, a company has at most 100 employees, and managers have an income of more than 10,000. The assignment is worth 20 marks and pertains to CLO 3 for the 7th semester course SE-406 Formal Methods in Software Engineering.

    Original Description:

    Software Engineering Formal Method Assignment

    Copyright

    © © All Rights Reserved

    Available Formats

    DOC, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document provides instructions for an assignment on formal methods in software engineering. It includes a UML diagram and asks students to write OCL statements for 4 business rules: that married people must be age 18 or older, a company has at least 50 employees, a company has at most 100 employees, and managers have an income of more than 10,000. The assignment is worth 20 marks and pertains to CLO 3 for the 7th semester course SE-406 Formal Methods in Software Engineering.

    Copyright:

    © All Rights Reserved
    Download as DOC, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    12 views1 page

    Assignment 03 Formal Methods

    Uploaded by

    aliumer
    The document provides instructions for an assignment on formal methods in software engineering. It includes a UML diagram and asks students to write OCL statements for 4 business rules: that married people must be age 18 or older, a company has at least 50 employees, a company has at most 100 employees, and managers have an income of more than 10,000. The assignment is worth 20 marks and pertains to CLO 3 for the 7th semester course SE-406 Formal Methods in Software Engineering.

    Copyright:

    © All Rights Reserved
    Download as DOC, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    University of Engineering & Technology, Mardan

    Department of Computer Software Engineering

    Examination: Assignment # 03 (Fall 2018)


    Course Code & Title: SE-406 Formal Methods in Software Engineering Target CLO: 03
    Semester: 7th Marks: 20

    Q1: Using the below UML diagram, write down OCL statements for the following business rules.

    a. All married people are of age >= 18

    b. Company has at least 50 employees

    c. Company has at most 100 employees

    d. Managers who have income than 10,000

    You might also like