[en] EVALUATION OF STATIC ANALYSIS IN DATA TYPE SEMANTIC CONFLICT DETECTION

[en] EVALUATION OF STATIC ANALYSIS IN DATA TYPE SEMANTIC CONFLICT DETECTION

[pt] Em um sistema de informação, falhas podem ocorrer pela diferença de entendimento das partes envolvidas em relação ao significado de um dado. Este é um problema bem conhecido pela engenharia de software, e defeitos deste tipo já foram responsáveis por falhas catastróficas, como a do Mars Climate...

Full description

Bibliographic Details
Main Author:	RAFAEL DE PINHO ANDRE
Other Authors:	ARNDT VON STAA
Language:	pt
Published:	MAXWELL 2014
Subjects:	[pt] ANALISE ESTATICA [en] STATIC ANALYSIS [pt] QUALIDADE [en] QUALITY [pt] SEMANTICA [en] SEMANTICS [pt] FERRAMENTAS DE SOFTWARE [pt] NOTACAO [pt] VERIFICACAO [en] VERIFICATION
Online Access:	https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=23364@1 https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=23364@2 http://doi.org/10.17771/PUCRio.acad.23364

Similar Items

[en] SWELL: A SEMANTIC WEB-SERVICES SELECTION ENVIRONMENT
by: JOAO FELIPE SANTOS CONDACK
Published: (2004)

[en] THE SEMANTIC CLASSIFICATION OF TECHNICAL COMPOUND NOUNS AND THEIR TRANSLATION TO PORTUGUESE
by: PAULA SANTOS DINIZ
Published: (2017)

[en] SEMANTIC VARIATION ON ADVERBIAL CONSTRUCTIONS INTRODUCED BY WHEN IN PORTUGUESE
by: EDUARDO ORGLER
Published: (2006)

[en] SEMANTIC WEB INTEROPERABILITY: ONE STRATEGY FOR THE TAXONOMIC ONTOLOGY ALIGNMENT
by: CAROLINA HOWARD FELICISSIMO
Published: (2005)

[en] A SEMANTIC WEB APPLICATION FRAMEWORK
by: LEONARDO MAGELA CUNHA
Published: (2007)

[en] OPTIMIZING THE PALLENE COMPILER
Published: (2021)

[en] SEMANTICS OF EXPRESSIVES: OVERCOMING METHODOLOGICAL EXPRESSIVISM
Published: (2020)

[en] REVERSING THE RELEVANCE: SEMANTIC AND PRAGMATIC ASPECTS OF DIMINUTIVE FORMATIONS IN BRAZILIAN PORTUGUESE
by: VIRPI JOHANNA TURUNEN
Published: (2009)

[en] NUMERICAL ANALYSIS OF THE STATIC AND SEISMIC BEHAVIOR OF POMACOCHA DAM - PERU
by: SERGIO LEON MONTOYA CASTILLO
Published: (2003)

[en] AN APPROACH FOR REVIEWING SECURITY RELATED ASPECTS IN AGILE REQUIREMENTS SPECIFICATIONS OF WEB APPLICATIONS
Published: (2021)

[en] SEMANTIC SUPPORT FOR THE PUBLICATION OF NEWS CONTENT ON THE WEB
by: RAFAEL ANTONIO PINTO PENA
Published: (2012)

[en] COMMUNICATION THROUGH MODELS IN THE CONTEXT OF SOFTWARE DEVELOPMENT
by: JULIANA SOARES JANSEN FERREIRA
Published: (2016)

[en] DEVELOPING SERVICE-ORIENTED APPLICATIONS ON THE SEMANTIC WEB
by: FRANCISCO EDUARDO DOS R FERREIRA
Published: (2003)

[en] THE CONCEPT OF TRUTH IN SEMANTICALLY CLOSED LANGUAGES
by: CARLOS LUCIANO MANHOLI
Published: (2005)

[en] ONTOLOGY DRIVEN INTERFACE DEVELOPMENT FOR APPLICATIONS ON THE SEMANTIC WEB
by: SABRINA SILVA DE MOURA
Published: (2005)

[en] ENRICHING AND ANALYZING SEMANTIC TRAJECTORIES WITH LINKED OPEN DATA
by: LIVIA COUTO RUBACK RODRIGUES
Published: (2018)

[en] THE OPEN COMMUNITY OF CONSTITUTION INTERPRETERS: THE AMICUS CURIAE AS A DEMOCRATIZATION STRATEGY OF THE SEARCH FOR THE NORMS' MEANING
by: LUIS SERGIO SOARES MAMARI FILHO
Published: (2004)

[en] SEMANTIC INTEGRATION OF INFORMATION SYSTEMS
by: MARCOS MAGALHAES MOREIRA
Published: (2004)

[en] STATIC AND DYNAMIC SIMULATION FOR THE VOLTAGE CONTROL BY LTC AND STATIC VOLTAGE COMPENSATOR
by: BRUNO DO CARMO PONTES
Published: (2009)

[en] A NEW APPROACH FOR MINING SOFTWARE REPOSITORIES USING SEMANTIC WEB TOOLS
by: FERNANDO DE FREITAS SILVA
Published: (2015)

[en] A METHOD AND AN ENVIRONMENT FOR THE SEMANTIC WEB APPLICATIONS DEVELOPMENT
by: MAURICIO HENRIQUE DE SOUZA BOMFIM
Published: (2011)

[en] PRAGMALINGUISTIC READING OF THE BIBLE: THE METHOD, APPLICATION IN HOSEA 10,1-8, SUBJECTIVES AND PERSPECTIVES
by: LUIS HENRIQUE ALVES PINTO
Published: (2004)

[en] MODELING AND IMPLEMENTATION OF ONTOLOGY DRIVEN HYPERMEDIA APPLICATIONS FOR THE SEMANTIC WEB
by: GUILHERME DE ARAUJO SZUNDY
Published: (2005)

[en] FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH
by: CARLOS BAZILIO MARTINS
Published: (2006)

[en] UNIFYING AGILE REQUIREMENTS SPECIFICATION QUALITY CONTROL AND IMPLEMENTATION CONFORMANCE ASSURANCE
by: THIAGO DELGADO PINTO
Published: (2018)

[en] SRAP: A NEW AUTHENTICATION PROTOCOL FOR SEMANTIC WEB APPLICATIONS
by: MARCIO RICARDO ROSEMBERG
Published: (2015)

[en] INFLUENCE OF THE NONLINEAR FLEXURAL AND SWAY INTERACTION ON THE STATIC AND DYNAMIC INSTABILITY OF A CONCEPTUAL MODEL OF COLUMN
by: JULIANA DE MATOS PONTE RAIMUNDO
Published: (2018)

[en] A MULTIGRANULARITY LOCKING MODEL FOR RDF
by: MARK DOUGLAS DE AZEVEDO JACYNTHO
Published: (2012)

[pt] GESTÃO DO CONHECIMENTO NO GERENCIAMENTO DE SERVIÇOS DE TI: USO E AVALIAÇÃO
by: MATHEUS SALCEDO
Published: (2011)

[en] AN APPLICATION BUILDER FOR QUERING RDF/RDFS DATASETS
by: MARCELO COHEN DE AZEVEDO
Published: (2010)

[en] A MODEL FOR WEB BASED NEWS COVERAGE: A STUDY ON DIGITAL NEWS
by: CAMILA PEREIRA DIAS
Published: (2015)

[en] SEMANTIC TYPOLOGIES OF ADVERBS: A COMPARATIVE STUDY
by: ZENAIDE DIAS TEIXEIRA
Published: (2008)

[en] AMBIGUITY AND VAGUENESS IN LEGAL TEXTS: AN ANALYSIS OF THE BRAZILIAN FEDERAL CONSTITUTION
by: RAFAEL PINNA SOUSA
Published: (2008)

[en] AN ACCESS CONTROL MODEL FOR THE DESIGN OF SEMANTIC WEB APPLICATIONS
by: MAIRON DE ARAUJO BELCHIOR
Published: (2012)

[en] NCL INSPECTOR. A NCL CODE INSPECTION TOOL
by: GUSTAVO DE SA CARVALHO HONORATO
Published: (2010)

[en] COMMUTATION OVERVOLTAGES OF THYRISTOR VALVES IN STATIC COMPENSATORS
by: ANTONIO GUILHERME GARCIA LIMA
Published: (2009)

[en] BUILDING RELATION EXTRACTORS THROUGH DISTANT SUPERVISION
by: THIAGO RIBEIRO NUNES
Published: (2013)

[en] USING DECISION TABLES TO AUTOMATE THE GENERATION AND EXECUTION OF TEST CASES
by: LUANA LACHTERMACHER
Published: (2010)

[en] ALGORITHMS FOR THE STATIC AND DYNAMIC VEHICLE ROUTING PROBLEM WITH TIME WINDOWS
by: ORIVALDE SOARES DA SILVA JÚNIOR
Published: (2013)

[en] WHAT IS SKELETON OF A PROOF
by: EDUARDO NAHUM OCHS
Published: (2004)