Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Valério Medeiros"'
Autor:
Ítalo Dantas de Araújo Maia, Alexandre Augusto Bezerra da Cunha Castro, Edja Bezerra Faria Trigueiro, Valério Medeiros
Publikováno v:
Revista de Morfologia Urbana, Vol 12, Iss 1 (2024)
O estudo apresentado neste artigo está inserido no campo investigativo da Análise Sintática do Espaço, em particular quanto ao emprego de simulação de mudanças na configuração urbana por meio da investigação de possíveis impactos socioesp
Externí odkaz:
https://doaj.org/article/05d61bb7e72a4d86a393c371e0cafe18
Autor:
Valério Medeiros, Frederico Holanda
Publikováno v:
Revista de Morfologia Urbana, Vol 12, Iss 1 (2024)
Externí odkaz:
https://doaj.org/article/dbd3e6d152b043b5835c334dc5aa2b88
Autor:
Frederico de Holanda, Valério Medeiros
Publikováno v:
Revista de Morfologia Urbana, Vol 10, Iss 2 (2022)
Externí odkaz:
https://doaj.org/article/c7ec86ed3c5f46aab2dddb629ba59986
Publikováno v:
Revista de Morfologia Urbana, Vol 7, Iss 1, Pp e00077-e00077 (2019)
O presente trabalho tem como objetivo principal analisar a configuração da favela a partir de seus padrões socioespaciais, buscando entender o fenômeno em sua escala global. Adota-se para o estudo a Sintaxe Espacial enquanto abordagem teórica, m
Externí odkaz:
https://doaj.org/article/4777cda0f7f4437fa1a4433b3fa456f5
Autor:
Valério Medeiros Jr., David Déharbe
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 139, Iss Proc. LAFM 2013, Pp 53-58 (2014)
This paper presents BEval, an extension of Atelier B to improve automation in the verification activities in the B method or Event-B. It combines a tool for managing and verifying software projects (Atelier B) and a model checker/animator (ProB) so t
Externí odkaz:
https://doaj.org/article/15f7bdd29dd34413ac5e99bcd3f5e7a2
Publikováno v:
Revista Brasileira de Direito Urbanístico | RBDU. :55-67
O propósito deste artigo é explorar os principais conceitos que estruturam a tese “A dialética entre direito à cidade e morfologia urbana: uma análise comparada entre quatro capitais brasileiras” (LEITE, 2019) no intuito de investigar o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34362f4ac3b0e6791935fb83704bc2ff
https://doi.org/10.55663/rbdu.especial2020.leite
https://doi.org/10.55663/rbdu.especial2020.leite
Publikováno v:
Urban Morphology. 24
This paper addresses two main challenges: how to offer an overview on the urban form of Portuguese cities, and how to analyse the fundamental aspects of the evolution of this physical form over time. The Morpho methodology is applied to address these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6cc0d6a2e9a5f76100d5cd09fb75903
https://doi.org/10.51347/jum.v24i2.4093
https://doi.org/10.51347/jum.v24i2.4093
Publikováno v:
Tests and Proofs ISBN: 9783030311568
TAP@FM
TAP@FM
The argument of correctness in refinement-based formal software design often disregards source code analysis and code generation. To mitigate the risk of errors in these phases, certifications issued by regulation entities demand or recommend testing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d89f6c5d1385a8fe13bf0f167b9f3f9
https://doi.org/10.1007/978-3-030-31157-5_6
https://doi.org/10.1007/978-3-030-31157-5_6
Autor:
João Batista de Souza Neto, Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Valério Medeiros, Ernesto Cid Brasil de Matos
Publikováno v:
Tests and Proofs ISBN: 9783319212142
TAP@STAF
TAP@STAF
In this paper, we present a case study where two code generators for the B-Method were validated using software testing techniques. Our testing strategy is a combination of Grammar-Based Testing (GBT) and Model-Based Testing (MBT) techniques. The str
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d572122af18bc74bbedb6ec2dfa3ce0
https://doi.org/10.1007/978-3-319-21215-9_5
https://doi.org/10.1007/978-3-319-21215-9_5
Publikováno v:
eCAADe proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e7ca490d769f0ef8089f776519b90ea
https://doi.org/10.52842/conf.ecaade.2013.1.337
https://doi.org/10.52842/conf.ecaade.2013.1.337