Formal Specification Set Theory

Hello, I need a help with working with set theory for pre, post conditions and logic conditions for a board game I wrote in Java. The Java part is easy, figuring out to express what I using set theory is difficult. A brief set theory overview as it relates to documentation Java code would be helpful and specific explanation of these issues - I. An example is attached of practice problem. Could you explain the post condition step by step? I get the general idea the expression is showing a loop that ends when their is nothing left in the string then returns number of characters in the string, but I bit confused by the symbols and notations. II. Could you explain how I could use ... click for more

Write a Java method to get the first item in a Vector

I need to add a getFirst() method to the Stack class. This method should get the first item in the items Vector. (See attached file for full problem description)

Finding error in C++ source code

Please correct the errors with replacement lines beside it. And then give short notes on why it is wrong. The code is attached. 1) Please correct the errors with replacement lines beside it. And then give short notes on why it is wrong. class Person { private: char name[30]; int age; public: Person (string, int); int setage (int); int setname (char *); void show (void); }; /////////////////////////////////////////////// void main() { Person a_group [5]; int i; for (i=0; i<6; i++) a_group[i].setage(i+1); for (i=0;i<6;i++) cout << "Person " << i+1 << " is " << a_group[i].age << end1; } ////////////////////////////////////////////// ... click for more

Java Programming

Write a simple application which implements the StockWatcher interface (attached file).

Java Programming - Creating & Using Packages

Use a simple procedure to implement the graphics package which contains the 4 attached files (3 classes and 1 interface). The group of classes represent a collection of graphic objects, such as circles, rectangles, lines, and points. The interface, "Draggable" is implemented by classes if they can be dragged with the mouse by the user. The attached files may contain errors.