UML-CAFE:: um ambiente para especificar e verificar sistemas de comércio eletrônico
AUTOR(ES)
Mark Alan Junho Song
DATA DE PUBLICAÇÃO
2004
RESUMO
Na última década, com o crescimento exponencial da Internet, disponibilizou-se uma infra-estrutura computacional que possibilitou o surgimento de novas aplicações distribuídas. Neste cenário, sistemas baseados na Web despontaram como uma das aplicações mais promissoras da rede. Entretanto, o projeto e desenvolvimento de sistemas Web tem-se revelado um desafio constante para os profissionais de Informática. Essa dificuldade vem da variedade dos serviços, da complexidade dos sistemas, dos seus componentes, e das interações entre eles. O uso de uma abordagem sistemática e de ampla aplicação é fundamental, neste contexto, para que se garanta a correção e robustez destes sistemas. O objetivo deste trabalho foi propor e implementar um ambiente para a especificação, projeto e verificação de sistemas baseados na Web utilizando técnicas de verificação simbólica de modelos.
ASSUNTO(S)
internet (redes de computação) teses. comércio eletrônico teses. sistemas transacionais (computação) teses computação teses.
ACESSO AO ARTIGO
http://hdl.handle.net/1843/SLBS-645J5WDocumentos Relacionados
- Sistemas de Reputação: Um Estudo sobre Confiança e Reputação no Comércio Eletrônico Brasileiro
- Um modelo de negociação automatizada para comercio eletronico
- Criação e teste de um modelo para avaliação de websites de comércio eletrônico
- Sites de comércio eletrônico e a responsabilidade pela intermediação no ambiente virtual
- Um Ambiente de especificação para aplicações destinadas ao comércio eletrônico