Na disciplina de “Verificação e Validação de Software” é abordado a garantia da qualidade na aplicação de técnicas de verificação e validação como revisão, inspeção e teste de software. Dessa forma, o sistema proposto deve estar conforme a documentação e deve estar consoante a expectativa do usuário, nisso utilizaremos técnicas e ferramentas de apoio ao teste.

Seguinte, na disciplina de “Métodos Formais de Engenharia de Software” é ensinado meios de formalizar e refinar nosso sistema mediante abordagens matemáticas fundamentadas no desenvolvimento de software, onde se estabelece um modelo formal do software. Por sua vez, a formalização do sistema se baseia em Notação Z.

Com os ensinamentos obtidos em sala de aula foi elaborado o projeto Sistema de Agendamento de Serviços Acadêmicos - ASA, como forma avaliativa para as duas disciplinas “Verificação e Validação” e “Métodos Formais” ministrada pelo professor Alysson Filgueira Milanez.

O ASA é um sistema desenvolvido na linguagem C# que tem como intuito centralizar e automatizar os processos de agendamento de serviços especializados disponibilizados na Ufersa. Atualmente esse sistema ocorre por meio de páginas no portal da Ufersa via preenchimento de formulário. Dessa forma, como forma de automatização e centralização dos serviços, será desenvolvido um sistema que integrará essas informações em um só local.

Integralizar os serviços acadêmicos oferecidos pela Ufersa a fim de facilitar e organizar o processo de agendamento.

• Facilitar a edição de informações pelos servidores.
• Reduzir o tempo de solicitação de serviços especializados.
• Garantir a transparência das informações para a comunidade acadêmica.
• Sincronização com serviços disponibilizados na universidade.

O sistema é construído com uma arquitetura cliente-servidor, utilizando as seguintes tecnologias e padrões:

• Padrão Criacional: Singleton

  • Garantia de uma única instância de um objeto e fornecimento de um ponto global de acesso a ele.

• Padrão Arquitetural: Model-View-Controller

  • Garantia da separação de tarefas, facilitando assim a reescrita de alguma parte, e a manutenção do código.

• Back-end:

  • Linguagem de Programação: C#
  • Framework: ASP.NET Core Web API
  • Autenticação e Autorização: JWT (JSON Web Tokens)

• Front-end:

  • Linguagem de Programação: C#
  • Framework: Blazor WebAssembly
  • Estilização: CSS e Bootstrap

• Armazenamento:

  • Banco de Dados: MySQL
  • Mapeador: Entity Framework Core

• Apresentação
• Artefatos
• Artigo

Conheça a equipe do Sistema de Agendamento de Serviços Acadêmicos:

Trabalho orientado pelo professor: Alysson Filgueira Milanez.