Formal Method

$10-30 USD

종료됨

게시됨

7년 이상 전

$10-30 USD

제출할때 지불됩니다

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: 12739448

프로젝트 정보

3 제안서

원격근무 프로젝트

활동 중 7년 전

돈을 좀 벌 생각이십니까?

이메일 주소

프리랜서 입찰의 이점

예산 및 기간 설정

작업 결과에 대한 급여 수급

제안의 개요를 자세히 쓰세요

무료로 프로젝트에 신청하고 입찰할 수 있습니다

3 이 프로젝트에 프리랜서들의 평균 입찰은 $164 USD입니다.

@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 5일에

4.5

(38 건의 리뷰)

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 10일에