Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface.
Dominique CansellJ. Paul GibsonDominique MéryPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- software design
- electronic voting
- software systems
- software engineering
- software development
- functional requirements
- object oriented design
- educational software
- user interface
- uml diagrams
- design patterns
- formal methods
- formal model
- security issues
- refinement process
- database
- voting schemes
- software development process
- formal specification
- voting method
- security analysis
- databases
- user friendly
- blind signature
- case study
- e learning