- Specifying and impelementing an algorithmic solution to this given problem using "VDM"

RM99-825 MYR

Closed

Posted

almost 10 years ago

RM99-825 MYR

Paid on delivery

Subject: Formal Methods in Software Engineering Chapter: Vienna Development Method (VDM) Specifying and implementing. Your tasks: 1. Specify an algorithmic solution to this problem using VDM. 2. Implement the VDM specification that you done in task 1. - Your implementation must be in Java. You must use JML notation in your Java codes as per your VDM specification. - Verify your implementation using the ESC/Java2 tool. To be done within 10 days or earlier. Please refer to the attachment for more details.

Forum Software

Java

Software Architecture

Software Development

Project ID: 5819181

About the project

1 proposal

Remote project

Active 10 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

1 freelancer is bidding on average RM513 MYR for this job

@AmirSohailgee

Hi, Any update on your plans about the project ? Looking forward to hear from you soon. Regards Naeem ...................................................... Hi, Were you able to go through the proposal sent? Kindly feel free to ask if you have any concerns. Looking forward to hearing from you soon. Regards Naeem ................................................... Hi, Need to discuss your project requirement in details for better understanding. For this Skype chat could be a good idea. Kindly provide your Skype id and we will move further. A reasonable price quote will be provided after initial discussions. Looking forward to hearing from you soon. Regards Naeem

RM513 MYR in 3 days