Question: PART A (TASKS 1 - 2) Task 1 The VDM Specification Language and VDMTools (15 marks) Consider a robot moving across a room (treated like

PART A (TASKS 1 - 2) Task 1 The VDM Specification

PART A (TASKS 1 - 2) Task 1 The VDM Specification Language and VDMTools (15 marks) Consider a robot moving across a room (treated like a 6 by 6 grid) in order to exit from a door. The robot always starts at position 1 1. The robot may move left, right, up and down by one grid square at a time. When the robot reaches the door it may exit and another robot immediately enters the room in position 1,1. Software to monitor the robot is to be developed. Initial analysis of the software has produced the following UML diagram: RobotMonitor row: Integer col: Integer MoveRight() MoveLeft( MoveUp( MoveDown( GetRow( ): Integer GetCol( ) : Integer Exit( )

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Economics Questions!

MATHEMATICIANS RISE TO A CHALLENGE ne of the theorems we teach in eighth grade is a + b= *, where c is the length of the hypotenuse of a right triangle in Euclidean space, and a and b are the lengths...

Let r and s be solutions to the quadratic equation x 2 b x + c = 0. For n N, define d0 = 0 d1 = r s dn = b dn1 c dn2 (n 2) Prove that dn = r n s n for all n N. [4 marks] (b) Recall that a commutative...

Java program - Assignment overview Suzie is a mouse in the big city. She needs to collect a lot of cheese that will last her throughout the cold winter months. Each day, Suzie travels to a new city...

Please find the assignment on page 30 of the attached file(unit outline), which is: Task 2 - Research Focused Project - 25% I need $4000 words for this research paper. Please Use Academic journal...

Java Program it is Java Assignment overview Suzie is a mouse in the big city. She needs to collect a lot of cheese that will last her throughout the cold winter months. Each day, Suzie travels to a...

D O NO T Ta KE IF YOU CANNOT ANSWEAR ALL THE QUESTION AS SUPPOSED OR I WILL RATE UNHELPFUL AND REPORT FOR PLAG Peru Domestic: a bond is issued in the US Global: a bond is issued in the US and foreign...

Yego Domestic: a bond is issued in the US Global: a bond is issued in the US and foreign markets Eurobonds: a bond denominated in USD is issued in the foreign market. You need to estimate the...

answer the question clearly You are building a flight-control system for which a convincing safety case must be made. Would you assign the tasks of safety requirements engineering, test case...

Lincoln International Business School (LIBS) LIBS Vision: To provide an innovative, scholarly learning environment based on a commitment to responsible management practices and a global community...

303 DEVELOPING A PROGRAM PHILOSOPHY AND RATIONALE STATEMENT Previous chapters have discussed the processes used in developing new courses and improving programs and fields of study. Each of these...

A point is chosen at random from the interior of a right triangle with base b and height h. What is the probability that the y value is between 0 and h/2?

Refer to the Canadian Springs Filtration Department Data Set. Canadian Springs produces premium bottled water. Canadian Springs purchases artesian water, stores the water in large tanks, and then...

Why is it that you can never really have 100% confidence of correctly estimating the population characteristic of interest?

please build a data warehouse in MySQL Calendar CalendarKey FullDate DayOfWeek DayOfMonth Month Quarter Year Product ProductKey ProductID ProductName Product Type SupplierName DepotKey DepotiD...

3. Choose a social incident in your local area. (a) List three points that you believe are the cause of the social incident and develop a model that shows a linear relationship. (b) What is the...

Peoples understanding of what is being said

5. Develop a circular model, with positive and negative feedback loops, showing the relationships between the following critical variables: The population of a city Industrialization Relocation ...