Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells

Detalhes bibliográficos
Autor(a) principal: Nunes, Daltro Jose
Data de Publicação: 1993
Tipo de documento: Relatório
Idioma: deu
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/126667
Resumo: Resumo não disponível
id UFRGS-2_839b684d4f8b20f1340c46a9cdbd6009
oai_identifier_str oai:www.lume.ufrgs.br:10183/126667
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Nunes, Daltro JoseUniversitat Stuttgart. Fakultat Informatik2015-09-14T15:58:19Z1993http://hdl.handle.net/10183/126667000060674Resumo não disponívelapplication/pdfdeuUniversitat StuttgartEngenharia : SoftwareProsoftQualidade : SoftwareVerificacao : SoftwareVerbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modellsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000060674.pdf.txt000060674.pdf.txtExtracted Texttext/plain23625http://www.lume.ufrgs.br/bitstream/10183/126667/2/000060674.pdf.txt26ea332d057984a1073f8e9fd248e3ccMD52ORIGINAL000060674.pdf000060674.pdfTexto completoapplication/pdf3011070http://www.lume.ufrgs.br/bitstream/10183/126667/1/000060674.pdf6b4359fdca24582a2b5de6ca7df95820MD51THUMBNAIL000060674.pdf.jpg000060674.pdf.jpgGenerated Thumbnailimage/jpeg1321http://www.lume.ufrgs.br/bitstream/10183/126667/3/000060674.pdf.jpgb7c69a141900ccd51cb01bc4cad486b8MD5310183/1266672018-10-23 08:58:16.906oai:www.lume.ufrgs.br:10183/126667Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-23T11:58:16Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
title Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
spellingShingle Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
Nunes, Daltro Jose
Engenharia : Software
Prosoft
Qualidade : Software
Verificacao : Software
title_short Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
title_full Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
title_fullStr Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
title_full_unstemmed Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
title_sort Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
author Nunes, Daltro Jose
author_facet Nunes, Daltro Jose
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universitat Stuttgart. Fakultat Informatik
dc.contributor.author.fl_str_mv Nunes, Daltro Jose
dc.subject.por.fl_str_mv Engenharia : Software
Prosoft
Qualidade : Software
Verificacao : Software
topic Engenharia : Software
Prosoft
Qualidade : Software
Verificacao : Software
description Resumo não disponível
publishDate 1993
dc.date.issued.fl_str_mv 1993
dc.date.accessioned.fl_str_mv 2015-09-14T15:58:19Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/126667
dc.identifier.nrb.pt_BR.fl_str_mv 000060674
url http://hdl.handle.net/10183/126667
identifier_str_mv 000060674
dc.language.iso.fl_str_mv deu
language deu
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Stuttgart
publisher.none.fl_str_mv Universitat Stuttgart
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/126667/2/000060674.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/126667/1/000060674.pdf
http://www.lume.ufrgs.br/bitstream/10183/126667/3/000060674.pdf.jpg
bitstream.checksum.fl_str_mv 26ea332d057984a1073f8e9fd248e3cc
6b4359fdca24582a2b5de6ca7df95820
b7c69a141900ccd51cb01bc4cad486b8
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1815447152342597632

Registros relacionados