Requirement specifications for electronic voting systems
- Autores
- Pesado, Patricia Mabel; Feierherd, Guillermo Eugenio; Pasini, Ariel C.
- Año de publicación
- 2005
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- This paper presents an analysis of the requirements specification in electronic voting systems. In particular, it poses a specification that assumes a physical distributed architecture model with two networked intelligent units (Voting Terminal and Authorities Terminal). State Transition Diagrams and Use Cases are used in the modeling of the requirements. Finally, the model adaptation to two classes of different elections is analyzed: a national election of closed daily cycle and a university election with a cycle of several days, both with multiple objectives.
Facultad de Informática - Materia
-
Ciencias Informáticas
Requirements/Specifications
State diagrams - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc/3.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/9610
Ver los metadatos del registro completo
id |
SEDICI_da368bfd6d58461bd4378bdd64d9f0a1 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/9610 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Requirement specifications for electronic voting systemsPesado, Patricia MabelFeierherd, Guillermo EugenioPasini, Ariel C.Ciencias InformáticasRequirements/SpecificationsState diagramsThis paper presents an analysis of the requirements specification in electronic voting systems. In particular, it poses a specification that assumes a physical distributed architecture model with two networked intelligent units (Voting Terminal and Authorities Terminal). State Transition Diagrams and Use Cases are used in the modeling of the requirements. Finally, the model adaptation to two classes of different elections is analyzed: a national election of closed daily cycle and a university election with a cycle of several days, both with multiple objectives.Facultad de Informática2005-12info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf312-319http://sedici.unlp.edu.ar/handle/10915/9610enginfo:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Dec05-23.pdfinfo:eu-repo/semantics/altIdentifier/issn/1666-6038info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc/3.0/Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:50:44Zoai:sedici.unlp.edu.ar:10915/9610Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:50:45.099SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Requirement specifications for electronic voting systems |
title |
Requirement specifications for electronic voting systems |
spellingShingle |
Requirement specifications for electronic voting systems Pesado, Patricia Mabel Ciencias Informáticas Requirements/Specifications State diagrams |
title_short |
Requirement specifications for electronic voting systems |
title_full |
Requirement specifications for electronic voting systems |
title_fullStr |
Requirement specifications for electronic voting systems |
title_full_unstemmed |
Requirement specifications for electronic voting systems |
title_sort |
Requirement specifications for electronic voting systems |
dc.creator.none.fl_str_mv |
Pesado, Patricia Mabel Feierherd, Guillermo Eugenio Pasini, Ariel C. |
author |
Pesado, Patricia Mabel |
author_facet |
Pesado, Patricia Mabel Feierherd, Guillermo Eugenio Pasini, Ariel C. |
author_role |
author |
author2 |
Feierherd, Guillermo Eugenio Pasini, Ariel C. |
author2_role |
author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Requirements/Specifications State diagrams |
topic |
Ciencias Informáticas Requirements/Specifications State diagrams |
dc.description.none.fl_txt_mv |
This paper presents an analysis of the requirements specification in electronic voting systems. In particular, it poses a specification that assumes a physical distributed architecture model with two networked intelligent units (Voting Terminal and Authorities Terminal). State Transition Diagrams and Use Cases are used in the modeling of the requirements. Finally, the model adaptation to two classes of different elections is analyzed: a national election of closed daily cycle and a university election with a cycle of several days, both with multiple objectives. Facultad de Informática |
description |
This paper presents an analysis of the requirements specification in electronic voting systems. In particular, it poses a specification that assumes a physical distributed architecture model with two networked intelligent units (Voting Terminal and Authorities Terminal). State Transition Diagrams and Use Cases are used in the modeling of the requirements. Finally, the model adaptation to two classes of different elections is analyzed: a national election of closed daily cycle and a university election with a cycle of several days, both with multiple objectives. |
publishDate |
2005 |
dc.date.none.fl_str_mv |
2005-12 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Articulo http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/9610 |
url |
http://sedici.unlp.edu.ar/handle/10915/9610 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Dec05-23.pdf info:eu-repo/semantics/altIdentifier/issn/1666-6038 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc/3.0/ Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc/3.0/ Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) |
dc.format.none.fl_str_mv |
application/pdf 312-319 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844615758381842432 |
score |
13.070432 |