Formal Method

$10-30 USD

Mbyllur

Postuar

over 7 years ago

$10-30 USD

Paguhet në dorëzim

Instructions: 1 Complete the specification in the [login to view URL] file. 2. Test the implicit PALRobotSys specification within VDMTools, using suitable test data that you should add to the [login to view URL] file. 3. Complete the specification in the [login to view URL] file. Use VDMTools to ensure that your [login to view URL] file is free from all syntax and type errors. 4. Finally you should test the [login to view URL], using the test data in your [login to view URL] file, in order to check its accuracy, using VDMTools. Additional Requirements: Focus: A single word/pdf document consisting of: 1) A copy of the complete PALRobotSys specification with operations specified in an implicit way 2) A report documenting your testing of the [login to view URL] file. 3) A copy of the explicit operations added into the PALRobotSysX.rtf. 4) A report documenting your testing of the explicit operations in the file [login to view URL] file Importent Note: *A copy of the complete PALRobotSys specification with operations specified in an implicit way *A report documenting your testing of the [login to view URL] file. *A copy of the explicit operations added in the [login to view URL] file. *A report documenting your testing of the explicit operations in the file [login to view URL] file

Engineering

PHP

Programming

Software Architecture

ID e Projektit: 12739448

Rreth projektit

3 propozime

Projekt në distancë

Aktive 7 yrs ago

Po kërkoni të fitoni para?

Adresa e email-it

Përfitimet e ofertës për Freelancer

Vendosni buxhetin dhe afatin tuaj

Paguhuni për punën tuaj

Përshkruani propozimin tuaj

Është falas të regjistrohesh dhe të bësh oferta për punë

3 profesionistët e pavarur ofrojnë mesatarisht $164 USD oferta për këtë punë

@nileshbakotiya

Hi, Thanks for the opportunity. As per your requirement, i would like to tell you that I have a very strong experience of more than 7 years in this field of design and development. Please spare a moment to discuss this project. Waiting for your message Thanks

$133 USD në 5 ditë

4,5

(38 përshtypje)

5,0

@vinodbansal

Hello Admin, I have gone through your job post and I consider myself a competitive candidate for this position. My past experience and skills set makes me perfect for this job. You can refer my upwork profile to check my past experience and clients feedback as well. I am experienced HTML5, CSS3, JS, jQuery and PHP programmer with specialization in Bootstrap and Wordpress. I have great webdesign and development skills and focus on every single detail to make a website success for my clients. Please let me know if I can get this opportunity to work for you. You can contact me anytime via skype or phone call. Thanks Vinod B

$333 USD në 10 ditë