Protocols. Software Engineering II Wirfs Brock et al, Designing Object-Oriented Software, Prentice Hall, 1990. Mitchell, R., and McKim, Design by Contract, by Example , Addison-Wesley, 2002
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Software Engineering II
Wirfs Brock et al, Designing Object-Oriented Software, Prentice Hall, 1990.
Mitchell, R., and McKim, Design by Contract, by Example, Addison-Wesley, 2002
La Trobe University, Data Structure,http://ironbark.bendigo. latrobe.edu.au/courses/subjects/DataStructures/mal/session070/lecture.html
(If stack is not empty, then
(the item from the top of the stack is returned AND
the length of the stack at the end of the operation is one less than the length of the stack at the start of the operation AND
the remainder of the stack is unchanged)) AND
If stack length is greater than one at the start of the operation, then the top of the stack is repositioned to the penultimate item in the stack.
Superclasses: <name> || none
Subclasses: <name> || none
Collaboration Graphs: See Figure <figure number>
Description: <class descriptions>
Contracts: <list of contracts with brief summary>
Private variables: <type> <variable name> <brief description> [… <type <variable name> <brief description>] || none
See handout for method template
Write the description and pre- and post- conditions for the following methods:
List (void); bool isin (int item);void print (void);void count (void);void print_reverse (void);void insert (int item); void delete(int item);