Verificação de conformidade entre diagramas de sequência UML e código Java.

Verificação de conformidade entre diagramas de sequência UML e código Java.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-02T14:02:19Z No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) === Made available in DSpace on 2018-09-02T14:02:19Z (GMT)....

Full description

Bibliographic Details
Main Author:	RABELO JÚNIOR, Sebastião Estefânio Pinto.
Other Authors:	RAMALHO, Franklin de Souza.
Language:	Portuguese
Published:	Universidade Federal de Campina Grande 2012
Subjects:	Ciência da Computação. Engenharia de software Verificação de conformidade em programas Diagramas UML Código Java Modelos comportamentais - software Teste de software Model Driven Architeture MDA Conformance checking Design tests Unified Modeling Language
Online Access:	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1626

Similar Items

Automação da Técnica de Inspeção Guiada para conformidade entre requisitos e diagramas UML.
by: ROCHA, Anne Caroline Oliveira.
Published: (2010)

Uma técnica para verificar não-conformidades em Programas Especificados com Contratos.
by: OLIVEIRA, Catuxe Varjão de Santana.
Published: (2013)

Testes de design: Uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design.
by: MONTEIRO, João Arthur Brunet.
Published: (2010)

Um método de teste funcional para verificação de componentes.
by: FARIAS, Carina Machado de.
Published: (2003)

Improving Modeling with UML by Stereotype-based Language Customization
by: Staron, Miroslaw
Published: (2005)

Proposta de metodologia para verificação e validação software de equipamentos eletromédicos
by: Viviani, Carlos Alessandro Bassi
Published: (2011)

Um estratégia para geração de seqüências de verificação para máquinas de estados finitos
by: Paulo Henrique Ribeiro
Published: (2010)

Um estratégia para geração de seqüências de verificação para máquinas de estados finitos
by: Ribeiro, Paulo Henrique
Published: (2010)

Diretrizes e critérios de cobertura de teste a partir de especificações UML
by: Corazza, Emerson Augusto Miotto
Published: (2007)

Diretrizes e critérios de cobertura de teste a partir de especificações UML
by: Corazza, Emerson Augusto Miotto
Published: (2007)

Diretrizes e critérios de cobertura de teste a partir de especificações UML
by: Corazza, Emerson Augusto Miotto
Published: (2007)

Verificação de conformidade regulatória dos processos de governança de TI : um estudo de caso de uma empresa pública
by: Clara, Ângela Maria Cristina
Published: (2018)

Geração de objetivos de teste de sistemas reativos baseada na Técnica de Verificação de Modelos CTL.
by: SILVA, Daniel Aguiar da.
Published: (2006)

Design MVP : a tool for visualizing the UML design metrics in UML class diagrams
by: Chaffins, Todd N.
Published: (2011)

Prototype of a Supporting Tool to Generate Testing Communication Diagram
by: Tetsuro Katayama, et al.
Published: (2015-04-01)

MDSA: Uma Proposta de Integração de Elementos de Arquitetura de Software à Model Driven Architecture
by: Secundino de Souza Junior, Milton
Published: (2014)

Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software
by: Oliveira, Toni Amorim de
Published: (2013)

Uma abordagem para integração e teste de módulos baseada em agrupamento e algoritmos de otimização multiobjetivos
by: Assunção, Wesley Klewerton Guez
Published: (2012)

ArCatch: uma solução para verificação estática de conformidade arquitetural do tratamento de exceção
by: Meneses Filho, Juarez de Lima
Published: (2017)

Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.
by: Thiago Carvalho de Sousa
Published: (2013)

Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.
by: Sousa, Thiago Carvalho de
Published: (2013)

Análise do uso da cor no Diagrama de Classes da Linguagem Unificada de Modelagem (UML)
by: Rodrigo Diego de Oliveira
Published: (2020-05-01)

Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
by: Ferreira, Jeferson, 1973-
Published: (2011)

UN PATRÓN DE INTERACCIÓN ENTRE DIAGRAMAS DE ACTIVIDADES UML Y SISTEMAS WORKFLOW AN INTERACTION PATTERN BETWEEN UML ACTIVITY DIAGRAMS AND WORKFLOW SYSTEMS
by: Marta Silvia Tabares, et al.
Published: (2008-12-01)

Um estudo comparativo entre o teste de mutação e o MC/DC no desenvolvimento de software aeronáutico, utilizando-se o paradigma "Model Based Design"
by: Leonardo Matsumoto Rosendo dos Santos
Published: (2009)

Recommender systems for UML class diagrams.
by: TOLEDO, Saulo Soares de.
Published: (2016)

UN MÉTODO DE INGENIERÍA INVERSA DE CÓDIGO JAVA HACIA DIAGRAMAS DE SECUENCIAS DE UML 2.0
by: Carlos Mario Zapata, et al.
Published: (2008-07-01)

ROLE OF UML SEQUENCE DIAGRAM CONSTRUCTS IN OBJECT LIFECYCLE CONCEPT
by: Miroslav Grgec, et al.
Published: (2007-06-01)

ANALYSING UML-BASED SOFTWARE MODELLING LANGUAGES
by: Mert Ozkaya
Published: (2018-07-01)

Teste baseado em arquitetura de software e modelo de estados.
by: Augusto Maia Gonçalves
Published: (2009)

Alinhamento de sequências na avaliação de resultados de teste de robustez
by: Lemos, Gizelle Sandrini, 1975-
Published: (2013)

Método de modelagem e geração de testes para o ambiente de ensino à distância TelEduc
by: Letizio, Caroline Castello, 1987-
Published: (2013)

Towards a UML profile for modeling WAP applications
by: Ricardo Soto De Giogis, et al.
Published: (2005-12-01)

Uma proposta de uso do TMMi para melhoria da capacidade nas áreas de Verificação e Validação do CMMI
by: Cândido de Oliveira Júnior, Nielso
Published: (2014)

Metrics directed verification of UML designs
by: Garner, Scott A.
Published: (2011)

X-PloRat: A Software for Scoring Animal Behavior in Enclosed Spaces
by: Julian Tejada, et al.
Published: (2018-01-01)

UML Model Refactoring : Support for Maintenance of Executable UML Models
by: Dobrzanski, Lukasz
Published: (2005)

Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
by: Eduardo Correia da Silva
Published: (2009)

Composição de UML Profiles
by: Oliveira, Kleinner Silva Farias de
Published: (2013)

Um simulador para modelos descritos em UML.
by: Gustavo Afonso Rodrigues
Published: (2009)