[pt] A soma dos gastos associados ao desenvolvimento de
software é o fator preponderante na composição do custo
total dos sistemas de computação. Desta forma, deve-se
procurar otimizar o processo de desenvolvimento visando
minimizar o custo do software sem incorrer em perda de
qualidade do sistema como um todo. Este trabalho apresenta
um experiência de utilização de uma metodologia de
desenvolvimento de software no ambiente de construção e
suporte a sistemas distribuídos RIO. A metodologia adotada
é baseada no conceito de abstrações e usa uma linguagem
especializada (SPEC) para a descrição de especificações.
Conceitos de lógica são também utilizados para formalizar
o comportamento da aplicação e de seus componentes, o que
facilita o uso de procedimentos automatizados para a
detecção de erros e simplificação das especificações. Os
paradigmas adotados em SPEC são similares aos disponíveis
para a concepção e construção de sistemas aplicativos no
ambiente RIO. Isso simplifica o processo de transformação
das especificações obtidas em uma implementação. / [en] The sum of costs associated to the software development is
the dominant factor in the composition of the total cost
of the computer systems. Thus, the software development
process shoild be optimized in order to reduce its cost
without incurring in losses for the overall system
quality. This work presents an experience of a software
methodology in the RIO environment for the support of
distributed systems. The adopted methodology is based on
abstractions and uses a specialized language (SPEC) for
the description of the specifications. Logic concepts are
also used to formalize the behaviour of the applicationa
and its components This facilities the use of automatic
procedures for correctness checks an simplification of the
specifications. The paradigms adopted by SPEC are similar
to those supported in the RIO environment. This simplifies
the process of translation fo the specification into a
system implementation.
| Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:8788 |
| Date | 07 August 2006 |
| Creators | JULIO CEZAR MENEZES SAMPAIO |
| Contributors | ORLANDO GOMES LOQUES FILHO |
| Publisher | MAXWELL |
| Source Sets | PUC Rio |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | TEXTO |
Page generated in 0.0019 seconds