This site will be maintained for Software Design & Implementation taken in spring semester of 2015 under Prof. David Stotts at UNC-Chapel Hill.

1. A1: What is software design?
2. A4: ML ADT specifications
3. A5 & A6: ML Library ADT and HOF curried function
4. A7 & A8: Clarke model checking
5. A9: Singleton factories
6. Files and Directories: Part 1
7. Files and Directories: Part 2
8. A10: User Stories for voting system (Team member: Aniket Bera)
9. Ballot as Composite(Team member: Aniket Bera)
10. Chain of responsibility(Team member: Aniket Bera)
11. Proxy(Team member: Aniket Bera)
12. A12: Proxy+Observer+Strategy(Team member: Aniket Bera)
13. ApectJ logger for ballot (Team member: Aniket Bera)
14. Online voting system design (Team member: Aniket Bera)