XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: EXPERIÊNCIA OF A SOFTWARE METHODOLOGY IN THE RIO Autor: JULIO CEZAR MENEZES SAMPAIO
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
ORLANDO GOMES LOQUES FILHO - ADVISOR
Nº do Conteudo: 8788
Catalogação: 07/08/2006 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8788@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8788@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.8788
Resumo:
Título: EXPERIÊNCIA OF A SOFTWARE METHODOLOGY IN THE RIO Autor: JULIO CEZAR MENEZES SAMPAIO
Nº do Conteudo: 8788
Catalogação: 07/08/2006 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8788@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8788@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.8788
Resumo:
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.
Descrição | Arquivo |
COMPLETE |