Some Controversies Around Formalization in Architecture

Publication type: Book Chapter
Publication date: 2023-08-01
Springer Nature
SJR: —
CiteScore: —
Impact factor: —
ISSN: 27317269, 27317277
Abstract
Formal Methods is a designation that has its origin in the computer sciences, where it is widely used. Due to the increasing importance of computer systems, and their growth in scope and complexity, formal methods are expanding within these disciplines.

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
0
Share
Cite this
GOST |
Cite this
GOST Copy
Mora P. L. et al. Some Controversies Around Formalization in Architecture // Beyond Digital Representation. 2023. pp. 35-46.
GOST all authors (up to 50) Copy
Mora P. L., Ruivo C., Viana D., Morais F., Vieira Vaz J., López-Chao V. Some Controversies Around Formalization in Architecture // Beyond Digital Representation. 2023. pp. 35-46.
RIS |
Cite this
RIS Copy
TY - GENERIC
DO - 10.1007/978-981-99-2217-8_4
UR - https://doi.org/10.1007/978-981-99-2217-8_4
TI - Some Controversies Around Formalization in Architecture
T2 - Beyond Digital Representation
AU - Mora, Plácido Lizancos
AU - Ruivo, Catarina
AU - Viana, David
AU - Morais, Franklim
AU - Vieira Vaz, Jorge
AU - López-Chao, Vicente
PY - 2023
DA - 2023/08/01
PB - Springer Nature
SP - 35-46
SN - 2731-7269
SN - 2731-7277
ER -
BibTex
Cite this
BibTex (up to 50 authors) Copy
@incollection{2023_Mora,
author = {Plácido Lizancos Mora and Catarina Ruivo and David Viana and Franklim Morais and Jorge Vieira Vaz and Vicente López-Chao},
title = {Some Controversies Around Formalization in Architecture},
publisher = {Springer Nature},
year = {2023},
pages = {35--46},
month = {aug}
}