Work

Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language

Year: 2024

Type: article

Source: Programming and Computer Software

DOI: 10.1134/s036176882470018x

Authors: V. A. Semenov, S. V. Morozov, S. V. Arishin, O. N. Kuzina, V. I. Rimshin, E. V. Makisha

Institutions: Russian Academy of Sciences, Institute for System Programming, Moscow State University of Civil Engineering

Language: English

Topic: BIM and Construction Integration

Subfield: Building and Construction

Field: Engineering

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4402865845

FWCI: 0.566

Cites: 13

Cited by: 3

Related to: 10