SlideShare a Scribd company logo
NADIA FARHANA BT MOHD AZHAR
A142098
SOFTWARE REQUIREMENT FOR
Computer-aided software
engineering (CASE) tool for
editing software design models
OVERVIEW
Example of CASE tool
Problem:
Redesigning this CASE tool
that must has a grid to be
displayed in the design
window
Problem Redesigning a Computer-aided software engineering (CASE) tool for editing
software design models that must has a grid to be displayed in the design
window
Description To assist in the positioning of entities on a diagram, the user may turn on a
grid in either centimetres or inches, via an option on the control panel”
A grid helps the user to create a tidy diagram with well-spaced entities.
Function General Functional: that the editing system should provide a grid
Non-functional:
1. giving information about the grid units
2. reliability (whether the grid will be shown)= Mean time to failure,
Probability of unavailability, Rate of failure occurrence
3. in term of its efficiency
Destination
operation
The software design tool or the CASE Tool itself.
Condition User interface requirement show how the grid is switched on and off
by the user
We highlighted on Functional requirement which is something the system must perform
1. The grid is switched on and off by the user
2. The grid can be turned on or off via an option in the
control panel
3. The system shall provide appropriate viewers which
only passive grid for the user while running this
software.
4. Provide a grid facility where a matrix of horizontal
and vertical lines provides a background to the user.
5. The grid can be in centimetres or inches
Statements of functional
requirements of the system
Assumption of the
system
• Although an active grid, where entities `snap'
to grid lines can be useful, the positioning is
imprecise; the user is the best person to
decide where entities(input) will be
positioned.”
• where the alignment of entities is the user's
responsibility.
mathematical statements of the
functional requirements
Based on 1,2,3,4,5 from functional requirement’s statements
From 1
p: the user turns the software on
q: the grid is on
r: the grid is off
If the user turns the software on, then the grid is on
If the user not turns the software on (which means its off), then the grid is off
p → q
~p → r
From 2
p: the grid turned on
q: the grid turned off
r: via an option in control panel
If the grid can be turned on or off, then it is via an option in the control panel
From 3
p: the system shall provide appropriate viewers
q: show passive grid for the user while running this software
The system shall provide appropriate viewers which only passive grid for the
user while running this software.
p ᵛ q → r
p → q
From 4
p: provide grid facility
q: matrix of horizontal line
s: matrix of vertical line
r: provide a background to the user
To provide a grid facility where a matrix of horizontal and vertical lines, then will
provide a background to the user
From 5
centimeters ᵛ inches → grid
The grid can be in centimetres or inches
p → (q ^ s) →r
comments about the translation process from
natural languages statements to mathematical
statements
• Natural language is overlapped with words
and phrases, but they also have consequences
mathematically because they affected the
mathematical structure that modeled the
resulting problem statement.

More Related Content

What's hot

Mini Project on 4 BIT SERIAL MULTIPLIER
Mini Project on 4 BIT SERIAL MULTIPLIERMini Project on 4 BIT SERIAL MULTIPLIER
Mini Project on 4 BIT SERIAL MULTIPLIER
j naga sai
 
VLSI ARCHITECTURE OF AN 8-BIT MULTIPLIER USING VEDIC MATHEMATICS IN 180NM TEC...
VLSI ARCHITECTURE OF AN 8-BIT MULTIPLIER USING VEDIC MATHEMATICS IN 180NM TEC...VLSI ARCHITECTURE OF AN 8-BIT MULTIPLIER USING VEDIC MATHEMATICS IN 180NM TEC...
VLSI ARCHITECTURE OF AN 8-BIT MULTIPLIER USING VEDIC MATHEMATICS IN 180NM TEC...
P singh
 
Introduction to simulink (1)
Introduction to simulink (1)Introduction to simulink (1)
Introduction to simulink (1)
Memo Love
 
14_H00141747_Doula Isham_B30UC_Power System Transient Stability_Poster_2015-16
14_H00141747_Doula Isham_B30UC_Power System Transient Stability_Poster_2015-1614_H00141747_Doula Isham_B30UC_Power System Transient Stability_Poster_2015-16
14_H00141747_Doula Isham_B30UC_Power System Transient Stability_Poster_2015-16
Isham Rashik
 
Application of artificial neural networks for shunt active power filter control
Application of artificial neural networks for shunt active power filter controlApplication of artificial neural networks for shunt active power filter control
Application of artificial neural networks for shunt active power filter control
Asoka Technologies
 
ETAP - Creating an old
ETAP - Creating an oldETAP - Creating an old
ETAP - Creating an old
Himmelstern
 
DESIGN AND SIMULATION OF DIFFERENT 8-BIT MULTIPLIERS USING VERILOG CODE BY SA...
DESIGN AND SIMULATION OF DIFFERENT 8-BIT MULTIPLIERS USING VERILOG CODE BY SA...DESIGN AND SIMULATION OF DIFFERENT 8-BIT MULTIPLIERS USING VERILOG CODE BY SA...
DESIGN AND SIMULATION OF DIFFERENT 8-BIT MULTIPLIERS USING VERILOG CODE BY SA...
Saikiran Panjala
 
A machine learning model for average fuel consumption in heavy vehicles
A machine learning model for average fuel consumption in heavy vehiclesA machine learning model for average fuel consumption in heavy vehicles
A machine learning model for average fuel consumption in heavy vehicles
Venkat Projects
 
Forelasning4
Forelasning4Forelasning4
Forelasning4
Memo Love
 
Simulink lecture sliet
Simulink lecture slietSimulink lecture sliet
Simulink lecture sliet
PANKAJ KUMAR
 
Linear regression model
Linear regression modelLinear regression model
Linear regression model
SatyamDeshPandey
 
Naidu_Sumit_Resume
Naidu_Sumit_ResumeNaidu_Sumit_Resume
Naidu_Sumit_Resume
S R Naidu
 

What's hot (12)

Mini Project on 4 BIT SERIAL MULTIPLIER
Mini Project on 4 BIT SERIAL MULTIPLIERMini Project on 4 BIT SERIAL MULTIPLIER
Mini Project on 4 BIT SERIAL MULTIPLIER
 
VLSI ARCHITECTURE OF AN 8-BIT MULTIPLIER USING VEDIC MATHEMATICS IN 180NM TEC...
VLSI ARCHITECTURE OF AN 8-BIT MULTIPLIER USING VEDIC MATHEMATICS IN 180NM TEC...VLSI ARCHITECTURE OF AN 8-BIT MULTIPLIER USING VEDIC MATHEMATICS IN 180NM TEC...
VLSI ARCHITECTURE OF AN 8-BIT MULTIPLIER USING VEDIC MATHEMATICS IN 180NM TEC...
 
Introduction to simulink (1)
Introduction to simulink (1)Introduction to simulink (1)
Introduction to simulink (1)
 
14_H00141747_Doula Isham_B30UC_Power System Transient Stability_Poster_2015-16
14_H00141747_Doula Isham_B30UC_Power System Transient Stability_Poster_2015-1614_H00141747_Doula Isham_B30UC_Power System Transient Stability_Poster_2015-16
14_H00141747_Doula Isham_B30UC_Power System Transient Stability_Poster_2015-16
 
Application of artificial neural networks for shunt active power filter control
Application of artificial neural networks for shunt active power filter controlApplication of artificial neural networks for shunt active power filter control
Application of artificial neural networks for shunt active power filter control
 
ETAP - Creating an old
ETAP - Creating an oldETAP - Creating an old
ETAP - Creating an old
 
DESIGN AND SIMULATION OF DIFFERENT 8-BIT MULTIPLIERS USING VERILOG CODE BY SA...
DESIGN AND SIMULATION OF DIFFERENT 8-BIT MULTIPLIERS USING VERILOG CODE BY SA...DESIGN AND SIMULATION OF DIFFERENT 8-BIT MULTIPLIERS USING VERILOG CODE BY SA...
DESIGN AND SIMULATION OF DIFFERENT 8-BIT MULTIPLIERS USING VERILOG CODE BY SA...
 
A machine learning model for average fuel consumption in heavy vehicles
A machine learning model for average fuel consumption in heavy vehiclesA machine learning model for average fuel consumption in heavy vehicles
A machine learning model for average fuel consumption in heavy vehicles
 
Forelasning4
Forelasning4Forelasning4
Forelasning4
 
Simulink lecture sliet
Simulink lecture slietSimulink lecture sliet
Simulink lecture sliet
 
Linear regression model
Linear regression modelLinear regression model
Linear regression model
 
Naidu_Sumit_Resume
Naidu_Sumit_ResumeNaidu_Sumit_Resume
Naidu_Sumit_Resume
 

Viewers also liked

Math task 2
Math task 2Math task 2
Math task 2
Islami Cto
 
Test presentation
Test presentationTest presentation
Test presentation
CompHealth
 
Usa poverty
Usa povertyUsa poverty
Usa poverty
Daniel Wang
 
LeBron James (A Legend In The Making)
LeBron James (A Legend In The Making)LeBron James (A Legend In The Making)
LeBron James (A Legend In The Making)
9nbartel
 
Open house pp llls4131
Open house pp llls4131Open house pp llls4131
Open house pp llls4131
mattaline
 
LeBron James
LeBron JamesLeBron James
LeBron James
9nbartel
 
Tania y yessica 9 c
Tania y yessica 9 cTania y yessica 9 c
Tania y yessica 9 c
Tania Perez
 
Escuela superior politecnica de chimboraz1
Escuela superior politecnica de chimboraz1Escuela superior politecnica de chimboraz1
Escuela superior politecnica de chimboraz1
com3
 

Viewers also liked (8)

Math task 2
Math task 2Math task 2
Math task 2
 
Test presentation
Test presentationTest presentation
Test presentation
 
Usa poverty
Usa povertyUsa poverty
Usa poverty
 
LeBron James (A Legend In The Making)
LeBron James (A Legend In The Making)LeBron James (A Legend In The Making)
LeBron James (A Legend In The Making)
 
Open house pp llls4131
Open house pp llls4131Open house pp llls4131
Open house pp llls4131
 
LeBron James
LeBron JamesLeBron James
LeBron James
 
Tania y yessica 9 c
Tania y yessica 9 cTania y yessica 9 c
Tania y yessica 9 c
 
Escuela superior politecnica de chimboraz1
Escuela superior politecnica de chimboraz1Escuela superior politecnica de chimboraz1
Escuela superior politecnica de chimboraz1
 

Similar to Mathematical statements nadiafarhana

Ie3514301434
Ie3514301434Ie3514301434
Ie3514301434
IJERA Editor
 
Potter’S Wheel
Potter’S WheelPotter’S Wheel
Potter’S Wheel
Dr Anjan Krishnamurthy
 
IRJET-Cleaner Drone
IRJET-Cleaner DroneIRJET-Cleaner Drone
IRJET-Cleaner Drone
IRJET Journal
 
ECS
ECSECS
IRJET- Identification of Scene Images using Convolutional Neural Networks - A...
IRJET- Identification of Scene Images using Convolutional Neural Networks - A...IRJET- Identification of Scene Images using Convolutional Neural Networks - A...
IRJET- Identification of Scene Images using Convolutional Neural Networks - A...
IRJET Journal
 
FACE COUNTING USING OPEN CV & PYTHON FOR ANALYZING UNUSUAL EVENTS IN CROWDS
FACE COUNTING USING OPEN CV & PYTHON FOR ANALYZING UNUSUAL EVENTS IN CROWDSFACE COUNTING USING OPEN CV & PYTHON FOR ANALYZING UNUSUAL EVENTS IN CROWDS
FACE COUNTING USING OPEN CV & PYTHON FOR ANALYZING UNUSUAL EVENTS IN CROWDS
IRJET Journal
 
IRJET- Object Sorting Machine using Arduino-Uno
IRJET- Object Sorting Machine using Arduino-UnoIRJET- Object Sorting Machine using Arduino-Uno
IRJET- Object Sorting Machine using Arduino-Uno
IRJET Journal
 
Algorithm Visualizer
Algorithm VisualizerAlgorithm Visualizer
Algorithm Visualizer
Anwar Jameel
 
IRJET - Gesture Controlled Home Automation using CNN
IRJET -  	  Gesture Controlled Home Automation using CNNIRJET -  	  Gesture Controlled Home Automation using CNN
IRJET - Gesture Controlled Home Automation using CNN
IRJET Journal
 
Performance comparison of row per slave and rows set
Performance comparison of row per slave and rows setPerformance comparison of row per slave and rows set
Performance comparison of row per slave and rows set
eSAT Publishing House
 
Performance comparison of row per slave and rows set per slave method in pvm ...
Performance comparison of row per slave and rows set per slave method in pvm ...Performance comparison of row per slave and rows set per slave method in pvm ...
Performance comparison of row per slave and rows set per slave method in pvm ...
eSAT Journals
 
IRJET- Constrained Role Mining using K-Map
IRJET- Constrained Role Mining using K-MapIRJET- Constrained Role Mining using K-Map
IRJET- Constrained Role Mining using K-Map
IRJET Journal
 
Design the implementation of CDEx Robust DC Motor.
Design the implementation of CDEx Robust DC Motor.Design the implementation of CDEx Robust DC Motor.
Design the implementation of CDEx Robust DC Motor.
Ankita Tiwari
 
Human Activity Recognition Using AccelerometerData
Human Activity Recognition Using AccelerometerDataHuman Activity Recognition Using AccelerometerData
Human Activity Recognition Using AccelerometerData
IRJET Journal
 
LT Pillar Auomation_modifieddocx
LT Pillar Auomation_modifieddocxLT Pillar Auomation_modifieddocx
LT Pillar Auomation_modifieddocx
Gaurav Patwa
 
IRJET - Military Spy Robot with Intelligentdestruction
IRJET - Military Spy Robot with IntelligentdestructionIRJET - Military Spy Robot with Intelligentdestruction
IRJET - Military Spy Robot with Intelligentdestruction
IRJET Journal
 
Adaptive check-pointing and replication strategy to tolerate faults in comput...
Adaptive check-pointing and replication strategy to tolerate faults in comput...Adaptive check-pointing and replication strategy to tolerate faults in comput...
Adaptive check-pointing and replication strategy to tolerate faults in comput...
IOSR Journals
 
E01113138
E01113138E01113138
E01113138
IOSR Journals
 
Presentation1.2.pptx
Presentation1.2.pptxPresentation1.2.pptx
Presentation1.2.pptx
pranaykusuma
 
IRJET - Smart Vet Locator for Hybrid Pets
IRJET -  	  Smart Vet Locator for Hybrid PetsIRJET -  	  Smart Vet Locator for Hybrid Pets
IRJET - Smart Vet Locator for Hybrid Pets
IRJET Journal
 

Similar to Mathematical statements nadiafarhana (20)

Ie3514301434
Ie3514301434Ie3514301434
Ie3514301434
 
Potter’S Wheel
Potter’S WheelPotter’S Wheel
Potter’S Wheel
 
IRJET-Cleaner Drone
IRJET-Cleaner DroneIRJET-Cleaner Drone
IRJET-Cleaner Drone
 
ECS
ECSECS
ECS
 
IRJET- Identification of Scene Images using Convolutional Neural Networks - A...
IRJET- Identification of Scene Images using Convolutional Neural Networks - A...IRJET- Identification of Scene Images using Convolutional Neural Networks - A...
IRJET- Identification of Scene Images using Convolutional Neural Networks - A...
 
FACE COUNTING USING OPEN CV & PYTHON FOR ANALYZING UNUSUAL EVENTS IN CROWDS
FACE COUNTING USING OPEN CV & PYTHON FOR ANALYZING UNUSUAL EVENTS IN CROWDSFACE COUNTING USING OPEN CV & PYTHON FOR ANALYZING UNUSUAL EVENTS IN CROWDS
FACE COUNTING USING OPEN CV & PYTHON FOR ANALYZING UNUSUAL EVENTS IN CROWDS
 
IRJET- Object Sorting Machine using Arduino-Uno
IRJET- Object Sorting Machine using Arduino-UnoIRJET- Object Sorting Machine using Arduino-Uno
IRJET- Object Sorting Machine using Arduino-Uno
 
Algorithm Visualizer
Algorithm VisualizerAlgorithm Visualizer
Algorithm Visualizer
 
IRJET - Gesture Controlled Home Automation using CNN
IRJET -  	  Gesture Controlled Home Automation using CNNIRJET -  	  Gesture Controlled Home Automation using CNN
IRJET - Gesture Controlled Home Automation using CNN
 
Performance comparison of row per slave and rows set
Performance comparison of row per slave and rows setPerformance comparison of row per slave and rows set
Performance comparison of row per slave and rows set
 
Performance comparison of row per slave and rows set per slave method in pvm ...
Performance comparison of row per slave and rows set per slave method in pvm ...Performance comparison of row per slave and rows set per slave method in pvm ...
Performance comparison of row per slave and rows set per slave method in pvm ...
 
IRJET- Constrained Role Mining using K-Map
IRJET- Constrained Role Mining using K-MapIRJET- Constrained Role Mining using K-Map
IRJET- Constrained Role Mining using K-Map
 
Design the implementation of CDEx Robust DC Motor.
Design the implementation of CDEx Robust DC Motor.Design the implementation of CDEx Robust DC Motor.
Design the implementation of CDEx Robust DC Motor.
 
Human Activity Recognition Using AccelerometerData
Human Activity Recognition Using AccelerometerDataHuman Activity Recognition Using AccelerometerData
Human Activity Recognition Using AccelerometerData
 
LT Pillar Auomation_modifieddocx
LT Pillar Auomation_modifieddocxLT Pillar Auomation_modifieddocx
LT Pillar Auomation_modifieddocx
 
IRJET - Military Spy Robot with Intelligentdestruction
IRJET - Military Spy Robot with IntelligentdestructionIRJET - Military Spy Robot with Intelligentdestruction
IRJET - Military Spy Robot with Intelligentdestruction
 
Adaptive check-pointing and replication strategy to tolerate faults in comput...
Adaptive check-pointing and replication strategy to tolerate faults in comput...Adaptive check-pointing and replication strategy to tolerate faults in comput...
Adaptive check-pointing and replication strategy to tolerate faults in comput...
 
E01113138
E01113138E01113138
E01113138
 
Presentation1.2.pptx
Presentation1.2.pptxPresentation1.2.pptx
Presentation1.2.pptx
 
IRJET - Smart Vet Locator for Hybrid Pets
IRJET -  	  Smart Vet Locator for Hybrid PetsIRJET -  	  Smart Vet Locator for Hybrid Pets
IRJET - Smart Vet Locator for Hybrid Pets
 

Recently uploaded

How to use Firebase Data Connect For Flutter
How to use Firebase Data Connect For FlutterHow to use Firebase Data Connect For Flutter
How to use Firebase Data Connect For Flutter
Daiki Mogmet Ito
 
Monitoring and Managing Anomaly Detection on OpenShift.pdf
Monitoring and Managing Anomaly Detection on OpenShift.pdfMonitoring and Managing Anomaly Detection on OpenShift.pdf
Monitoring and Managing Anomaly Detection on OpenShift.pdf
Tosin Akinosho
 
Building Production Ready Search Pipelines with Spark and Milvus
Building Production Ready Search Pipelines with Spark and MilvusBuilding Production Ready Search Pipelines with Spark and Milvus
Building Production Ready Search Pipelines with Spark and Milvus
Zilliz
 
Generating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and MilvusGenerating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and Milvus
Zilliz
 
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development ProvidersYour One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
akankshawande
 
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Speck&Tech
 
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with SlackLet's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
shyamraj55
 
Presentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of GermanyPresentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of Germany
innovationoecd
 
Best 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERPBest 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERP
Pixlogix Infotech
 
OpenID AuthZEN Interop Read Out - Authorization
OpenID AuthZEN Interop Read Out - AuthorizationOpenID AuthZEN Interop Read Out - Authorization
OpenID AuthZEN Interop Read Out - Authorization
David Brossard
 
20240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 202420240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 2024
Matthew Sinclair
 
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy SurveyTrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc
 
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
Jeffrey Haguewood
 
Artificial Intelligence for XMLDevelopment
Artificial Intelligence for XMLDevelopmentArtificial Intelligence for XMLDevelopment
Artificial Intelligence for XMLDevelopment
Octavian Nadolu
 
AI 101: An Introduction to the Basics and Impact of Artificial Intelligence
AI 101: An Introduction to the Basics and Impact of Artificial IntelligenceAI 101: An Introduction to the Basics and Impact of Artificial Intelligence
AI 101: An Introduction to the Basics and Impact of Artificial Intelligence
IndexBug
 
Programming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup SlidesProgramming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup Slides
Zilliz
 
Fueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte WebinarFueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte Webinar
Zilliz
 
Mariano G Tinti - Decoding SpaceX
Mariano G Tinti - Decoding SpaceXMariano G Tinti - Decoding SpaceX
Mariano G Tinti - Decoding SpaceX
Mariano Tinti
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
Hiroshi SHIBATA
 
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success StoryDriving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Safe Software
 

Recently uploaded (20)

How to use Firebase Data Connect For Flutter
How to use Firebase Data Connect For FlutterHow to use Firebase Data Connect For Flutter
How to use Firebase Data Connect For Flutter
 
Monitoring and Managing Anomaly Detection on OpenShift.pdf
Monitoring and Managing Anomaly Detection on OpenShift.pdfMonitoring and Managing Anomaly Detection on OpenShift.pdf
Monitoring and Managing Anomaly Detection on OpenShift.pdf
 
Building Production Ready Search Pipelines with Spark and Milvus
Building Production Ready Search Pipelines with Spark and MilvusBuilding Production Ready Search Pipelines with Spark and Milvus
Building Production Ready Search Pipelines with Spark and Milvus
 
Generating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and MilvusGenerating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and Milvus
 
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development ProvidersYour One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
 
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
 
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with SlackLet's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
 
Presentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of GermanyPresentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of Germany
 
Best 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERPBest 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERP
 
OpenID AuthZEN Interop Read Out - Authorization
OpenID AuthZEN Interop Read Out - AuthorizationOpenID AuthZEN Interop Read Out - Authorization
OpenID AuthZEN Interop Read Out - Authorization
 
20240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 202420240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 2024
 
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy SurveyTrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy Survey
 
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...
 
Artificial Intelligence for XMLDevelopment
Artificial Intelligence for XMLDevelopmentArtificial Intelligence for XMLDevelopment
Artificial Intelligence for XMLDevelopment
 
AI 101: An Introduction to the Basics and Impact of Artificial Intelligence
AI 101: An Introduction to the Basics and Impact of Artificial IntelligenceAI 101: An Introduction to the Basics and Impact of Artificial Intelligence
AI 101: An Introduction to the Basics and Impact of Artificial Intelligence
 
Programming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup SlidesProgramming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup Slides
 
Fueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte WebinarFueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte Webinar
 
Mariano G Tinti - Decoding SpaceX
Mariano G Tinti - Decoding SpaceXMariano G Tinti - Decoding SpaceX
Mariano G Tinti - Decoding SpaceX
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
 
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success StoryDriving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success Story
 

Mathematical statements nadiafarhana

  • 1. NADIA FARHANA BT MOHD AZHAR A142098
  • 2. SOFTWARE REQUIREMENT FOR Computer-aided software engineering (CASE) tool for editing software design models
  • 3. OVERVIEW Example of CASE tool Problem: Redesigning this CASE tool that must has a grid to be displayed in the design window
  • 4. Problem Redesigning a Computer-aided software engineering (CASE) tool for editing software design models that must has a grid to be displayed in the design window Description To assist in the positioning of entities on a diagram, the user may turn on a grid in either centimetres or inches, via an option on the control panel” A grid helps the user to create a tidy diagram with well-spaced entities. Function General Functional: that the editing system should provide a grid Non-functional: 1. giving information about the grid units 2. reliability (whether the grid will be shown)= Mean time to failure, Probability of unavailability, Rate of failure occurrence 3. in term of its efficiency Destination operation The software design tool or the CASE Tool itself. Condition User interface requirement show how the grid is switched on and off by the user
  • 5. We highlighted on Functional requirement which is something the system must perform 1. The grid is switched on and off by the user 2. The grid can be turned on or off via an option in the control panel 3. The system shall provide appropriate viewers which only passive grid for the user while running this software. 4. Provide a grid facility where a matrix of horizontal and vertical lines provides a background to the user. 5. The grid can be in centimetres or inches Statements of functional requirements of the system
  • 6. Assumption of the system • Although an active grid, where entities `snap' to grid lines can be useful, the positioning is imprecise; the user is the best person to decide where entities(input) will be positioned.” • where the alignment of entities is the user's responsibility.
  • 7. mathematical statements of the functional requirements Based on 1,2,3,4,5 from functional requirement’s statements From 1 p: the user turns the software on q: the grid is on r: the grid is off If the user turns the software on, then the grid is on If the user not turns the software on (which means its off), then the grid is off p → q ~p → r
  • 8. From 2 p: the grid turned on q: the grid turned off r: via an option in control panel If the grid can be turned on or off, then it is via an option in the control panel From 3 p: the system shall provide appropriate viewers q: show passive grid for the user while running this software The system shall provide appropriate viewers which only passive grid for the user while running this software. p ᵛ q → r p → q
  • 9. From 4 p: provide grid facility q: matrix of horizontal line s: matrix of vertical line r: provide a background to the user To provide a grid facility where a matrix of horizontal and vertical lines, then will provide a background to the user From 5 centimeters ᵛ inches → grid The grid can be in centimetres or inches p → (q ^ s) →r
  • 10. comments about the translation process from natural languages statements to mathematical statements • Natural language is overlapped with words and phrases, but they also have consequences mathematically because they affected the mathematical structure that modeled the resulting problem statement.