Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
CMPS 282: SOFTWARE ENGINEERING, Spring 2010 2011 Practice Problems for the Midterm
 

Summary: CMPS 282: SOFTWARE ENGINEERING, Spring 2010 2011
Practice Problems for the Midterm
Note: Solutions are provided in a separate document, so that you can attempt the questins
without inadvertently looking at the answers.
Instructions (same as on the exam):
Please leave the first page blank: write only your name and section number.
Please draw a horizontal line across the page between the answers to each question.
You may refer to the following during the exam: the course textbook, the course lecture
notes, your homework solutions, any notes that you have taken in class. If you wish to
use existing results, please cite them properly, e.g., use a page number for results in the
course textbook, or a lecture title and page number for results in the course notes.
You may not refer to any other materials.
Good luck!
1. Find the precondition P so that the following are valid.
a) {P}
x := x + 4 y;
{x < 78}
b) {P}
x := x/y;
{x < 50}

  

Source: Attie, Paul - Department of Computer Science, American University of Beirut

 

Collections: Computer Technologies and Information Sciences