Joker : um framework de animação para especificações formais/

Resumo:Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e corre-tude do software. Além disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Porém há muita resistência em se adotar essa abordagem de desenvolvimento de software. A razão principal é a escassez...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Egile Nagusiak: Souza, Diego Henrique Oliveira de., Oliveira, Marcel Vinicius Medeiros., Universidade Federal do Rio Grande do Norte.
Formatua: Dissertação
Argitaratua:
Gaiak:
Animação -
Dissertação.
Especificação formal -
Java(Linguagem de programação) -
Métodos formais -
Animation.
Java (programming language).
Formal specifications.
Formal methods.
Sarrera elektronikoa:https://app.bczm.ufrn.br/home/#/item/173548
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Internet

https://app.bczm.ufrn.br/home/#/item/173548

Antzeko izenburuak