Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Especificação formal"'
Publikováno v:
Revista Principia, Vol 6, Iss 0, Pp 15-23 (1998)
Mesmo dispondo de ferramentas eficientes para a construção de plataformas de distribuição, engenheiros de software necessitam, frequentemente, testar novos mecanismos e extensões que melhorem o desempenho durante a execução das plataformas de
Externí odkaz:
https://doaj.org/article/eabd18a212f2467694d1ed9ded68d19c
Autor:
Miyazawa, Alvaro Heiji
Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificaçõe
Autor:
Silva, André Luís Meneses
É cada vez mais notável o desenvolvimento da indústria micro-eletrônica. A criação de dispositivos eletrônicos menores, que apresentam maior autonomia de energia, aliados ao aumento do poder de processamento, armazenamento e comunicação sem
Autor:
André Luís Meneses Silva
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
É cada vez mais notável o desenvolvimento da indústria micro-eletrônica. A criação de dispositivos eletrônicos menores, que apresentam maior autonomia de energia, aliados ao aumento do poder de processamento, armazenamento e comunicação sem
Autor:
Capelo, Mariana, Belo, Orlando
Over the last few years, several proposals have been presented for supporting conceptual and logical modelling of data warehousing populating processes - ETL processes. However, these processes usually have a high degree of specificity, which entails
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::55f4f6408e8811e10ae243777280f97a
https://hdl.handle.net/1822/71905
https://hdl.handle.net/1822/71905
Autor:
Regnier, Paul Denis Etienne
Publikováno v:
Repositório Institucional da UFBAUniversidade Federal da BahiaUFBA.
Submitted by Marcio Filho (marcio.kleber@ufba.br) on 2017-06-09T12:32:23Z No. of bitstreams: 1 MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5)
Approved for entry into archive by Vanessa Reis (vanessa.jami
Approved for entry into archive by Vanessa Reis (vanessa.jami
Externí odkaz:
http://repositorio.ufba.br/ri/handle/ri/22980
Autor:
Silva, Nayara de Souza
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFGUniversidade Federal de GoiásUFG.
Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2017-04-11T19:28:47Z No. of bitstreams: 2 Dissertação - Nayara de Souza Silva - 2017.pdf: 2066646 bytes, checksum: 95e09b89bf69fe61277b09ce9f1812a6 (MD5) license_rdf: 0 bytes, checksum: d
Externí odkaz:
http://repositorio.bc.ufg.br/tede/handle/tede/7134
Autor:
Silva, Nayara de Souza
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFG
Universidade Federal de Goiás (UFG)
instacron:UFG
Universidade Federal de Goiás (UFG)
instacron:UFG
O processo de desenvolvimento de sistemas computacionais leva em conta muitas etapas, nos quais umas são tidas mais necessárias que outras, dependendo da finalidade da aplica- ção. A etapa de implementação sempre é necessária, indiscutivelmen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::38f595cecc6badaeac0c0f18c2419c78
http://repositorio.bc.ufg.br/tede/handle/tede/7134
http://repositorio.bc.ufg.br/tede/handle/tede/7134
Autor:
Pessoa, Eduardo José Dias
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Dissertação de mestrado em Engenharia Informática (área de especialização em Informática)
Model checking is a technique used to automatically verify a model which represents the specification of some system. To ensure the correctness of t
Model checking is a technique used to automatically verify a model which represents the specification of some system. To ensure the correctness of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d99f1c2a15fc84e7adc609b736936a4f
https://hdl.handle.net/1822/47746
https://hdl.handle.net/1822/47746
Publikováno v:
Repositório Institucional de Geociências-RIGEO
Companhia de Pesquisa de Recursos Minerais (CPRM)
instacron:CPRM
Repositório Institucional da UFPE
Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
Companhia de Pesquisa de Recursos Minerais (CPRM)
instacron:CPRM
Repositório Institucional da UFPE
Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
Conselho Nacional de Desenvolvimento Científico e Tecnológico No ciclo de vida de desenvolvimento de software, especificação de requisitos é uma atividade muito propensa a definições incorretas. Isto geralmente acontece porque esses documentos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f2cd9bab7dc89718c03ce83092fa0504
https://rigeo.cprm.gov.br/handle/doc/1192
https://rigeo.cprm.gov.br/handle/doc/1192