G. Lima, Anamaria Martins Moreira, David Déharbe, D. Pereira, Demóstenes Sena, Jorgiano M. B. Vidal
{"title":"FERUS: Um Ambiente de Desenvolvimento de Especificações CASL","authors":"G. Lima, Anamaria Martins Moreira, David Déharbe, D. Pereira, Demóstenes Sena, Jorgiano M. B. Vidal","doi":"10.5753/sbes.2002.23965","DOIUrl":null,"url":null,"abstract":"Este artigo apresenta FERUS (Apoio Formal à Especificação e Re-Utilização de Software), um ambiente desenvolvido no Departamento de Informática e Matemática Aplicada da UFRN em parceria com o LORIA (França), que permite a criação, manipulação e prototipação de especificações na linguagem CASL. Para otimizar as diferentes possibilidades de trabalho sobre as especificações, a ferramenta trabalha com diferentes formatos de representação: texto, formato de intercomunicação entre ferramentas e formato interno de representação de especificações, adequado para operações de transformação de especificação. O protótipo que apresentamos aqui opera através de uma interface gráfica, mas uma biblioteca de funções correspondentes às funcionalidades da ferramenta também será disponibilizada para facilitar sua integração em outros contextos de operação e sua interoperabilidade com outras ferramentas.","PeriodicalId":219161,"journal":{"name":"Anais do XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002)","volume":"133 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/sbes.2002.23965","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
Este artigo apresenta FERUS (Apoio Formal à Especificação e Re-Utilização de Software), um ambiente desenvolvido no Departamento de Informática e Matemática Aplicada da UFRN em parceria com o LORIA (França), que permite a criação, manipulação e prototipação de especificações na linguagem CASL. Para otimizar as diferentes possibilidades de trabalho sobre as especificações, a ferramenta trabalha com diferentes formatos de representação: texto, formato de intercomunicação entre ferramentas e formato interno de representação de especificações, adequado para operações de transformação de especificação. O protótipo que apresentamos aqui opera através de uma interface gráfica, mas uma biblioteca de funções correspondentes às funcionalidades da ferramenta também será disponibilizada para facilitar sua integração em outros contextos de operação e sua interoperabilidade com outras ferramentas.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
