https://github.com/0xhericles/projetoalloy
Clínica de Exames - Lógica para Computação - Computação@UFCG
https://github.com/0xhericles/projetoalloy
alloy diagram logic logic-programming programming scripts student-project tests ufcg
Last synced: 9 months ago
JSON representation
Clínica de Exames - Lógica para Computação - Computação@UFCG
- Host: GitHub
- URL: https://github.com/0xhericles/projetoalloy
- Owner: 0xHericles
- Created: 2018-07-16T11:50:31.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-08-21T00:23:08.000Z (over 7 years ago)
- Last Synced: 2025-04-03T13:48:47.384Z (9 months ago)
- Topics: alloy, diagram, logic, logic-programming, programming, scripts, student-project, tests, ufcg
- Language: Alloy
- Size: 9.42 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Clínica de Exames
Lógica para Computação - Computação@UFCG
## Especificação
Uma certa clínica de exames é composta por 6 enfermeiras chefes e 6 enfermeiros técnicos (três estagiários e três veteranos). Os pacientes são mapeados por cores de acordo com o nível de preferência no atendimento, seguindo os critérios:
- Os pacientes com preferência vermelha são pessoas que não podem passar muito do horário da alimentação, por exemplo, pessoas com diabetes.
- A cor laranja mapeia os idosos e as gestantes, os quais não devem ser atendidos por um enfermeiro estagiário.
- A cor verde mapeia as crianças quem tem até 5 anos de idade.
- Os pacientes que não se encaixam em nenhuma dessas categorias são mapeados com a cor branca.
- Os pacientes de cor vermelha e laranja precisam de mais atenção portanto devem ser atendidos sempre individualmente.
Leve em conta que os enfermeiros estagiários estão em adaptação na clínica, por isso atendem um paciente por vez. A tarefa dos enfermeiros chefes é avaliar o trabalho dos técnicos, portanto sempre terá um enfermeiro chefe para cada paciente que está sendo atendido.
## Integrantes
- Eddie Kaleb ([@EddieKaleb](https://github.com/EddieKaleb/))
- Henrique Castro ([@HenriqueCA](https://github.com/HenriqueCA/))
- Héricles Emanuel ([@hericlesme](https://github.com/hericlesme/))
- João Marcos([@JoaoMLima](https://github.com/JoaoMLima/))