Jornal Online da UBI, da Região e do RestoDirectora: Anabela Gradim |
O que oferece a Educed
Eduardo Alves · quarta, 23 de novembro de 2011 · Continuado A empresa criada por engenheiros e matemáticos portugueses que vai agora estar em destaque nos Estados Unidos da América produz alta tecnologia. Os programas informáticos criados no seio da Educed têm por base a capacidade de não apresentarem erros. |
Uma empresa de tecnologia de ponta na área da informática |
21945 visitas A Educed oferece produtos e serviços baseados “em formalismos matemáticos” isto para que “a confiabilidade de um sistema comece a ser garantida logo nas fases iniciais do projeto”. A ferramenta Educed, “Prova”, “é capaz de analisar e verificar requisitos e, em complemento, gerar grandes quantidades de testes automaticamente, a partir dos requisitos para validar a implementação”. [Voltar] |