Modelling and Integrating Formal Models: from Test Cases and Requirements Models

Modelling and Integrating Formal Models: from Test Cases and Requirements Models

Made available in DSpace on 2014-06-12T15:59:48Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 === A especificação formal de um sistema ou seu modelo formal é uma forma abstrata de representar suas propriedades (c...

Full description

Bibliographic Details
Main Author: SOUZA, Cléclio Feitosa de
Other Authors: MOTA, Alexandre Cabral
Language:Portuguese
Published: Universidade Federal de Pernambuco 2014
Subjects:
Métodos e modelos formais
Teste baseado em modelos (MBT)
Anti-MBT
CSP
LTS
Modelagem
Unificação
Tradução de modelos
Online Access:https://repositorio.ufpe.br/handle/123456789/2633

Internet

https://repositorio.ufpe.br/handle/123456789/2633

Similar Items