Question: - For the following Ada program, add a precondition in procedure DB_Entry to check the persons name is not an empty string, and the persons

- For the following Ada program,

add a precondition in procedure DB_Entry to check the persons name is not an empty string, and the persons age is between 1 and 130; add a postcondition to check the persons age is between 1 and 130.

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 Databases Questions!

Task 4 - For the following Ada program, add a precondition in procedure DB_Entry to check the person's name is not an empty string, and the person's age is between 1 and 130; add a postcondition to...

the program needs to be done with C# language , please help For today's lab you will be creating the start of a terminal application that might be used by a school to keep track of their courses, who...

This Codio project is the workspace for the final course project. While you are welcome to completeproject on your own computer, this project has several tools to allow you to check your work along...

Assignment Tasks Note: Students can start to work now on partial tasks. Other tasks need the knowledge in 2/22 lecture. After we cover 2/22 lecture, you can complete the leftover tasks in the entire...

1. Download the following source files: - Deck.java - DeckInterface.java - Card.java - WarCardGame.java (Note: The only class you need to implement.) 2. In Eclipse, create a new Java project called...

This is C++. Please submit all file of code with file names. Revise the Chapter 11 Composition example so that it uses a linked list to hold the collection of address book entries. Create a project...

A creative engineer suggests structuring the TLB so that not all the bits of the presented address need match to result in a hit. Suggest how this might be achieved, and what might be the costs and...

I'm stuck on questions 3 to 6. public class IntArrayBag implements Cloneable { // Invariant of the IntArrayBag class: // 1. The number of elements in the bag is in the instance variable // manyItems,...

This assignment will be in a new Java project, Assignment #3 - Houses In the assignment you will create 3 packages, the first package will be asg3, and it will have the House class and the...

Storico Co. just paid a dividend of $3.5 per share. The company will increase its dividend by 12 percent next year and will then reduce its dividend growth rate by 3 percentage points per year until...

6) What is the equation of the parent function of g(x) = -4? a) g(x) = 2* b) g(x) = x c) g(x) = - (x)6 (p

According to Michael Portec, what are the two basic strategles for creating value and attaining a competive advantage in an industry?

CT Corp Comprehensive Question Canadian Tire Corporation, Limited ( Canadian Tire ) is a family of companies that includes a retail segment and a financial services division, among others. The retail...

Discuss how training, informal learning, and knowledge management can contribute to continuous learning and companies business strategy. page 265

Conduct a needs assessment. page 269

Explain the recruiters role in the recruitment process, the limits the recruiter faces, and the opportunities available. page 212