AEsp: Um Assistente de Especificação
Resumo
Este trabalho descreve uma ferramenta, denominada Aesp, que visa auxiliar a captura das especificações das aplicações do domínio de administração rural e transformá-las, incrementalmente, em uma representação que pode ser traduzida para um programa operacional. Esta ferramenta é parte do ambiente FMS (“Farm Management System”) que está sendo desenvolvido para a EMBRAPA. O FMS é um ambiente para a geração automatizada de aplicativos do domínio de administração rural.
Palavras-chave:
assistente de especificação, análise de dominio, gerador de aplicação, reuso
Referências
ARIAS, C. Um assistente especialista para especificação de requisitos, Campinas: UNICAMP/IMECC, 1992. (Tese MEstrado)
ASLETT, M. J. A knowledge base approach to software development: ESPRIT Project ASPIS. Amsterdam: North Holland, 1991.
BALZER, R.; GOLDMAN, N.; WILE, D. Informality in Program Specifications. In: RICH, C.; WATERS R. C. Readings in artificial intelligence and software engineering. Los Altos, CA: Morgan Kaufmannk, 1986. p. 223-232.
CZUCHRY, A. J.; HARRIS D. R. KBRA: A new paradigm for requirements engineering, IEEE Expert, v.3, n.4, p.21-35, winter, 1988.
DIAZ, P.R.; ARANGO, G. Domain analysis and software systems modeling. Los Alamitos, CA: IEEE Computer Society, 1991.
FERRARETTO, M.D.; MASSRUHÁ, S.M.F.S. Projeto: ambiente de desenvolvimento de software para domínio de administração rural - FMS. Campinas/SP: EMBRAPA-CNPTIA, 1994. (Documento interno apresentado ao Sistema EMBRAPA de Planejamento - SEP)
FERRARETTO, M.D. Metodologia para desenvolvimento rápido de aplicações - MEDRA. Campinas/SP: EMBRAPA-CNPTIA, 1994. (Documento interno)
GOMAA, H.; KERSCHBERG L.; SUGURUMAN V. A knowledge-based approach to generating target system specifications from domain model. In: IFIP Congress, Madrid, Spain, 1992.
GREEN, C.; LUCKMAN, D.; BALZER, R.; CHEATHAM, T.; RICH, C. Report on a Knowledge-Based Software Assistant. In: RICH, C.;WATERS R. C. Readings in artificial intelligence and software engineering. Los Altos, CA: Morgan Kaufmannk, 1986. p. 525-535.
JORDAN, P.W.; KELLER, K.; TUCKER, VOGEL, D. Software storming - combining rapid prototyping and knowledge engineering. IEEE Computer, v.22, n.5, p. 39-48, may 1989.
LEHMAN, M.M. A futher model of coherent programming processes. Software Process Workshop, p. 27-35, 1984.
LEITE, J.C.S.P. O uso de hipertexto na elicitação de linguagens de aplicação. Simpósio Brasileiro de Engenharia de Software, 4, Águas de São Pedro, 24-26 de outubro de 1990. Anais. São Paulo: USP/CCS, 1990, p. 134-149.
LUQI. Software evolution through rapid prototyping. IEEE Computer, v.22, n.5, p. 13-25, may 1989.
MARTIN, J. System design from provably correct constructs. Englewood Cliffs: Prentice-Hall, 1985.
MASIERO, P.C.; MEIRA, C.A.A. Development and instantiation of a generic application generator. The Journal of Systems and Software, v. 23, n.1, p. 27-38, oct. 1993.
MASSRUHÁ S.M.F.S. Um estudo sobre assistentes de especificação. Campinas/SP: EMBRAPA-CNPTIA, 1994. (Relatório Técnico, submetido a publicação)
NEIGHBORS, J.M. The Draco approach to constructing software from reusable components. In: RICH, C.; WATERS R.C. Readings in artificial intelligence and software engineering. Los Altos, CA: Morgan Kaufmannk, 1986. p.525-535.
NEIGHBORS, J.M. Draco: a method for reusable software systems, software reusability, concepts and models. 1989 (ACM Press Frontier Series, 1)
PRESSMAN, R. Software engineering: a practitioner's approach. 3.ed. New York: McGraw-Hill, 1992.
PUNCELLO, P.; TORRIGIANI, P.; PIETRI, F.; BURLON, R.; CARDILE, B.; CONTI, M. ASPIS: A knowledge-based CASE environment. IEEE Software, v.5, n.2, p. 58-65, mar. 1988.
TANIK, M.M.; YEH, R.T. Guest editor's introduction: Rapid prototyping in software development. IEEE Computer, v.22, n.5, p.9-12, may 1989.
WASSERMAN, A. Pan Em specification of human-computer interaction. IEEE Transactions on re Engineering, v. 11, n. 8, ago. 1985.
WATERS, R. The requirements apprentice: automated assistance for requirements acqusion. IEEE Transactions on Software Engineering, v. 17 n. 3, p. 226-240, mar. 1991.
NEXPERT OBJECT; version 2.0; introduction manual. Palo Alto/CA: Neuron Data, 1991.
SILK - Encap: user's manual, release 1.0. Austin/TX: ISSI, 1993.
ASLETT, M. J. A knowledge base approach to software development: ESPRIT Project ASPIS. Amsterdam: North Holland, 1991.
BALZER, R.; GOLDMAN, N.; WILE, D. Informality in Program Specifications. In: RICH, C.; WATERS R. C. Readings in artificial intelligence and software engineering. Los Altos, CA: Morgan Kaufmannk, 1986. p. 223-232.
CZUCHRY, A. J.; HARRIS D. R. KBRA: A new paradigm for requirements engineering, IEEE Expert, v.3, n.4, p.21-35, winter, 1988.
DIAZ, P.R.; ARANGO, G. Domain analysis and software systems modeling. Los Alamitos, CA: IEEE Computer Society, 1991.
FERRARETTO, M.D.; MASSRUHÁ, S.M.F.S. Projeto: ambiente de desenvolvimento de software para domínio de administração rural - FMS. Campinas/SP: EMBRAPA-CNPTIA, 1994. (Documento interno apresentado ao Sistema EMBRAPA de Planejamento - SEP)
FERRARETTO, M.D. Metodologia para desenvolvimento rápido de aplicações - MEDRA. Campinas/SP: EMBRAPA-CNPTIA, 1994. (Documento interno)
GOMAA, H.; KERSCHBERG L.; SUGURUMAN V. A knowledge-based approach to generating target system specifications from domain model. In: IFIP Congress, Madrid, Spain, 1992.
GREEN, C.; LUCKMAN, D.; BALZER, R.; CHEATHAM, T.; RICH, C. Report on a Knowledge-Based Software Assistant. In: RICH, C.;WATERS R. C. Readings in artificial intelligence and software engineering. Los Altos, CA: Morgan Kaufmannk, 1986. p. 525-535.
JORDAN, P.W.; KELLER, K.; TUCKER, VOGEL, D. Software storming - combining rapid prototyping and knowledge engineering. IEEE Computer, v.22, n.5, p. 39-48, may 1989.
LEHMAN, M.M. A futher model of coherent programming processes. Software Process Workshop, p. 27-35, 1984.
LEITE, J.C.S.P. O uso de hipertexto na elicitação de linguagens de aplicação. Simpósio Brasileiro de Engenharia de Software, 4, Águas de São Pedro, 24-26 de outubro de 1990. Anais. São Paulo: USP/CCS, 1990, p. 134-149.
LUQI. Software evolution through rapid prototyping. IEEE Computer, v.22, n.5, p. 13-25, may 1989.
MARTIN, J. System design from provably correct constructs. Englewood Cliffs: Prentice-Hall, 1985.
MASIERO, P.C.; MEIRA, C.A.A. Development and instantiation of a generic application generator. The Journal of Systems and Software, v. 23, n.1, p. 27-38, oct. 1993.
MASSRUHÁ S.M.F.S. Um estudo sobre assistentes de especificação. Campinas/SP: EMBRAPA-CNPTIA, 1994. (Relatório Técnico, submetido a publicação)
NEIGHBORS, J.M. The Draco approach to constructing software from reusable components. In: RICH, C.; WATERS R.C. Readings in artificial intelligence and software engineering. Los Altos, CA: Morgan Kaufmannk, 1986. p.525-535.
NEIGHBORS, J.M. Draco: a method for reusable software systems, software reusability, concepts and models. 1989 (ACM Press Frontier Series, 1)
PRESSMAN, R. Software engineering: a practitioner's approach. 3.ed. New York: McGraw-Hill, 1992.
PUNCELLO, P.; TORRIGIANI, P.; PIETRI, F.; BURLON, R.; CARDILE, B.; CONTI, M. ASPIS: A knowledge-based CASE environment. IEEE Software, v.5, n.2, p. 58-65, mar. 1988.
TANIK, M.M.; YEH, R.T. Guest editor's introduction: Rapid prototyping in software development. IEEE Computer, v.22, n.5, p.9-12, may 1989.
WASSERMAN, A. Pan Em specification of human-computer interaction. IEEE Transactions on re Engineering, v. 11, n. 8, ago. 1985.
WATERS, R. The requirements apprentice: automated assistance for requirements acqusion. IEEE Transactions on Software Engineering, v. 17 n. 3, p. 226-240, mar. 1991.
NEXPERT OBJECT; version 2.0; introduction manual. Palo Alto/CA: Neuron Data, 1991.
SILK - Encap: user's manual, release 1.0. Austin/TX: ISSI, 1993.
Publicado
26/10/1994
Como Citar
MASSRUHÁ, Silvia M. F. S.; FERRARETTO, Mário D.; MÁXIMO, Fernando A.; MEIRA, Carlos A. A.; PASSOS, Sérgio L. Z.; VISOLI, Marcos C..
AEsp: Um Assistente de Especificação. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 8. , 1994, Curitiba/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1994
.
p. 311-324.
DOI: https://doi.org/10.5753/sbes.1994.24475.
