������������������������������� Object-Oriented Software Engineering Chapter 8, Object Design: • ������������������������������������������������ Object Constraint ������������������������������������� Language • ������������������������ • ������������������������������������������������ Using UML, Patterns, and Java ������������������������� • ����������� • ��������������� • ��������������� • ��������� �������������� ��� Bernd Bruegge & Allen Dutoit Object-Oriented Software Engineering: Conquering Complex and Changing Systems 2 ������������������ ��������������������� • !"������������� '������( • #������ ���� ��� ����� • $�����������������������������������%� context Tournament inv : • ������������������������������ self.getMaxNumPlayers() > 0 • $�������������������&����������������� )��'������( *+������������������������&���������&������������ ������������������� ������,- �����( • *����-��������������������������*+���������- • !"��������������������������������.���, Bernd Bruegge & Allen Dutoit Object-Oriented Software Engineering: Conquering Complex and Changing Systems 3 Bernd Bruegge & Allen Dutoit Object-Oriented Software Engineering: Conquering Complex and Changing Systems 4 ����������������� ������������������ '������( '������( context Tournament::acceptPlayer(p) pre : context Tournament::acceptPlayer(p) post : not self.isPlayerAccepted(p) self.getNumPlayers() = self@pre.getNumPlayers() + 1 )��'������( )��'������( *+������������&��/�0������������������&��������1������ ���&�������������&����������������������������������,- *+�������������������������&������������������� �����������&����������������������������� �����( ���������&��/0- • +������������������������������������������� �����( • �����&��$�������/�0��������������������������&����� • ����2����������������������������������������������� ������+��������� �������������������������������, • �������������������������������������������������� ���������������������������, Bernd Bruegge & Allen Dutoit Object-Oriented Software Engineering: Conquering Complex and Changing Systems 5 Bernd Bruegge & Allen Dutoit Object-Oriented Software Engineering: Conquering Complex and Changing Systems 6 ������
Recommend
More recommend