G. Lima, Anamaria Martins Moreira, David Déharbe, D. Pereira, Demóstenes Sena, Jorgiano M. B. Vidal
{"title":"FERUS: 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":"{\"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}","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}
FERUS: Um Ambiente de Desenvolvimento de Especificações CASL
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号
