Object-oriented analysis and design - older techniques for doing analysis and design
Do research and write a paper (1 page for each topic) on the following topics:
(it can refer to textbooks, journal articles, or the Internet for information and it should provide citations for information you incorporate in your paper that is derived from your references. (MLA or APA))
1. Nassi-Shneiderman structure charts (yes, that's Ben Shneiderman, before he became famous for his work in HCI).
2. Formal proofs of correctness.
3. Structured Analysis and Design (with dataflow diagrams).