Behaviour: Vote/Compute vote results;calculates and stores winner list @tested_feature("Vote") @tested_operation("Compute vote results") @tested_behaviour("calculates and stores winner list") A testable aspect of function: a set of pre- and postconditions. [Deviation in model](http://adadocs.demokracia.rulez.org/PDEngine/edemo/master/index.html#7f02363b-d542-483a-8a14-9780b27bfe7d-713a3fb0-7a41-4011-b572-b988e933af20-8fdd5ff7-26ba-46d9-a935-69d457cb7bc3) <!--- @huboard:{"order":0.998251622065235,"milestone_order":219,"custom_state":""} -->
Behaviour: Vote/Compute vote results;calculates and stores winner list
@tested_feature("Vote")
@tested_operation("Compute vote results")
@tested_behaviour("calculates and stores winner list")
A testable aspect of function: a set of pre- and postconditions.
Deviation in model