BDBComp
Parceria:
SBC
FERUS: Um Ambiente de Desenvolvimento de Especificações CASL

Gleydson LimaAnamaria Martins MoreiraDavid DéharbeDavid PereiraDemostenes SenaJorgiano VidalXVI Simpósio Brasileiro de Engenharia de Software - Gramado, RS, Brasil - 2002

This paper presentes FERUS (Formal Support to the Specification and Reuse of Software), an environment under development at the Departo de Informática e Matemática Aplicada (DIMAp-UFRN-Brazil) in cooperation with the LORIA laboratory (Nancy-France). This tools supports the creation, transformation and prototyping of CASL language specifications. To optimize each kind of operation on specifications, the tool deals with different specification representation formats: CASL text, a tool inter-communication format and an internal format. The prototype that we present here operates through a graphical interface, but a library of functions corresponding to the toolś functionalities will also be made available to ease its integration into other operation contexts and its interoperability with other tools.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/2002/029.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD