Scribd
Upload
15 views35 pages

Ice Cream Machine in Atlier B

The document describes a project to develop a customized ice cream maker system. The system allows users to create personalized ice cream flavors by selecting from a range of flavors, cones, and condiments. It provides an interactive interface for users to make their selections and calculates the total price. The project aims to enhance the ice cream customization experience for users.

Uploaded by

hammad2nd
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
15 views35 pages

Ice Cream Machine in Atlier B

The document describes a project to develop a customized ice cream maker system. The system allows users to create personalized ice cream flavors by selecting from a range of flavors, cones, and condiments. It provides an interactive interface for users to make their selections and calculates the total price. The project aims to enhance the ice cream customization experience for users.

Uploaded by

hammad2nd
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 35

Faculty of Telecommunication and Information

Engineering

(Software Engineering Department)

Course: -

Formal Methods in Software Engineering

Project Title:

Customized Ice-Cream Maker

Submitted to: -
Miss Dr. Saima Zareen

Submitted by: -
1- M.Mubashir Ali 21-SE-24
2- Muhmmad Hammad 21-SE-30

Submission Date: -
17th June, 2023
Project Title: -
Customized Ice-Cream Maker
Description: -
The project titled "Customized Ice-Cream Maker" aims to develop a system or
application that allows users to create their own personalized ice cream flavors by
selecting from a range of flavors, cones, and condiments. The system provides an
interactive interface where users can make their flavor choices, add or remove
condiments, select a cone type, and calculate the total price based on their
selections.

The system includes a predefined set of flavors such as vanilla, strawberry,


chocolate, and mint, allowing users to choose up to four flavors. They can also
select a cone type from options like regular or waffle. Additionally, users can add
up to five condiments, including sprinkles, nuts, syrup, caramel sauce, and
chocolate sauce, to further enhance their ice cream creation.

To ensure the integrity and validity of user choices, the system enforces certain
constraints. For instance, it limits the maximum number of flavors to four, the
maximum number of cones to one, and the maximum number of condiments to five.
The system also keeps track of the total price based on the number of flavors, cones,
and condiments selected, considering predefined price values for each item.

The project implementation involves defining various operations that enable users
to interact with the system. These operations include choosing a flavor, selecting a
condiment, choosing a cone, removing a flavor, removing a condiment, removing a
cone, calculating the total price based on the user's selections, and dispensing the
ice cream. Additionally, the system allows users to make a payment for their
customized ice cream, ensuring the payment amount is sufficient and within a
predefined maximum limit.

Overall, the "Customized Ice Cream Maker" project aims to provide a user-friendly
and interactive platform that empowers individuals to create their own unique ice
cream combinations. By offering a range of flavors, cones, and condiments and
implementing various functionalities, the project seeks to enhance the ice cream
customization experience and provide a delightful treat for ice cream enthusiasts.
Overview
Abstract Machine
Proof Obligations
Initialization:
Operation choose Flavor:

Operation choose Condiment


Operation Choose Cone :

Operation remove Flavor:


Operation remove condiment:

Operation remove cone:


Operation calculate price :

Operation receive payment:


Well defindness of remove flavor :

Well defindness of remove Condiment:


Well defindness of remove Cone:

Refinement Machine
Proof Obligations
Pre condition choose Flavor:

Operation choose Flavor:


Pre condition choose Condiment:

Operation choose Condiment:


Pre condition choose Cone:

Operation choose Cone:


Pre condition remove Flavour:

Operation remove flavour:


Pre condition remove Condiment:

Operation remove Condiment:


Pre condition remove Cone:

Operation remove Cone:


Pre condition Calculate price:

Operation calculate price:


Pre condition dispense Ice Cream:

Precondition receive payment:


Operation receive payment:

Well defindness of pre remove Flavour:


Well defindness of pre remove Condiment:

Well defindness of pre remove Cone:


Implementation Machine
Proof Obligations
Operation choose Flavor:

Operation choose Condiment:


Operation choose Cone:

Operation remove Flavor:


Operation remove Condiment:

Operation remove Cone:


Operation receive payment:

Well Defindness remove Flavor:


Well Defindness remove Condiment:

Well Definedness remove Cone:


CODE GENERATED
Header File :
C File :

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy