Milestone | Deliverable | Due Date |
---|---|---|
Project Propoisal | Submit an initial project plan: 2-3 pages with at least 3 milestones. | 1-30-20 |
Status Report 1 | Produce a Bibliography with at least 8 relevant references. The bibliography should give at least 3-5 sentences briefly summarizing each cited work and/or explaining its relevance to your topic and research questions. | 2-20-20 |
Status Report 2 | Produce a detailed outline of your paper. The detailed outline builds on your collected bibliography by organizing citations into a coherent, logical narrative structure for organizing your literature review. 6-8 pages. | 4-2-20 |
Literature Review | Completed literature review. 8-10 pages, at least relevant 12 references. | 5-4-20 |
The final project in the class is an individual literature review exploring the intersection between formal methods and a topic of your choice. For instance, you can explore the intersection between formal methods and: (1) cyber security, (2) unmanned ariel vechicles, or (3) cyber-physical systems. The project will have the following deliverables.
Address the following within 2-3 pages:
Produce a Bibliography with at least 8 relevant references. The bibliography should give at least 3-5 sentences briefly summarizing each cited work and/or explaining its relevance to your topic and research questions. As you read each source, you might keep an electronic document or paper notecard listing what it is from that source you wish to refer to, providing the “hard data” you will propagate up to your outline eventual term paper. There is no expectation to make connections between cited works in the bibliography. You are not required to keep all of these citations in your final paper, but doing so should help save wasted work.
Produce a detailed outline of your paper. The detailed outline builds on your collected bibliography by organizing citations into a coherent, logical narrative structure for organizing your literature review:
You should consider the following points: