Especificacoes formais em obj

Detalhes bibliográficos
Autor(a) principal: Edelweiss, Nina
Data de Publicação: 1989
Outros Autores: Ribeiro, Adagenor Lobato
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/126692
Resumo: Este trabalho apresenta a linguagem de especificção forma OBJ. Trata-se de uma linguagem executável, que serve para implementar e testar especificações algébricas. São apresentados as sintaxes e a semântica do OBJ e um pequeno exemplo de sua utilização.
id UFRGS-2_e55e2df5fba3ced5c7efa0944d955e8e
oai_identifier_str oai:www.lume.ufrgs.br:10183/126692
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Edelweiss, NinaRibeiro, Adagenor Lobato2015-09-14T15:59:11Z1989http://hdl.handle.net/10183/126692000004673Este trabalho apresenta a linguagem de especificção forma OBJ. Trata-se de uma linguagem executável, que serve para implementar e testar especificações algébricas. São apresentados as sintaxes e a semântica do OBJ e um pequeno exemplo de sua utilização.This work presents OBJ, a formal specification language. OBJ is a executable language, used to implement and test algebraic specifications. There are presented OBJ's syntax and semantics, and a short example of its use.application/pdfporCPGCC da UFRGSEngenharia : SoftwareEspecificacao formalObjEspecificacoes formais em objinfo: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:UFRGSTEXT000004673.pdf.txt000004673.pdf.txtExtracted Texttext/plain88003http://www.lume.ufrgs.br/bitstream/10183/126692/2/000004673.pdf.txt00f5ebbe6a7b176c3a6647acf41f1bf0MD52ORIGINAL000004673.pdf000004673.pdfTexto completoapplication/pdf2135796http://www.lume.ufrgs.br/bitstream/10183/126692/1/000004673.pdfb7d26fd0aa3992ada019f5f1cefc5003MD51THUMBNAIL000004673.pdf.jpg000004673.pdf.jpgGenerated Thumbnailimage/jpeg1385http://www.lume.ufrgs.br/bitstream/10183/126692/3/000004673.pdf.jpg28771718bc7c00e65a43d4e1aac94d50MD5310183/1266922018-10-23 09:25:03.763oai:www.lume.ufrgs.br:10183/126692Repositório InstitucionalPUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.bropendoar:2018-10-23T12:25:03Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Especificacoes formais em obj
title Especificacoes formais em obj
spellingShingle Especificacoes formais em obj
Edelweiss, Nina
Engenharia : Software
Especificacao formal
Obj
title_short Especificacoes formais em obj
title_full Especificacoes formais em obj
title_fullStr Especificacoes formais em obj
title_full_unstemmed Especificacoes formais em obj
title_sort Especificacoes formais em obj
author Edelweiss, Nina
author_facet Edelweiss, Nina
Ribeiro, Adagenor Lobato
author_role author
author2 Ribeiro, Adagenor Lobato
author2_role author
dc.contributor.author.fl_str_mv Edelweiss, Nina
Ribeiro, Adagenor Lobato
dc.subject.por.fl_str_mv Engenharia : Software
Especificacao formal
Obj
topic Engenharia : Software
Especificacao formal
Obj
description Este trabalho apresenta a linguagem de especificção forma OBJ. Trata-se de uma linguagem executável, que serve para implementar e testar especificações algébricas. São apresentados as sintaxes e a semântica do OBJ e um pequeno exemplo de sua utilização.
publishDate 1989
dc.date.issued.fl_str_mv 1989
dc.date.accessioned.fl_str_mv 2015-09-14T15:59:11Z
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/126692
dc.identifier.nrb.pt_BR.fl_str_mv 000004673
url http://hdl.handle.net/10183/126692
identifier_str_mv 000004673
dc.language.iso.fl_str_mv por
language por
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 CPGCC da UFRGS
publisher.none.fl_str_mv CPGCC da UFRGS
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/126692/2/000004673.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/126692/1/000004673.pdf
http://www.lume.ufrgs.br/bitstream/10183/126692/3/000004673.pdf.jpg
bitstream.checksum.fl_str_mv 00f5ebbe6a7b176c3a6647acf41f1bf0
b7d26fd0aa3992ada019f5f1cefc5003
28771718bc7c00e65a43d4e1aac94d50
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 lume@ufrgs.br
_version_ 1817724584802123776

Registros relacionados