Exemple de passage d'une règle initiale écrite en texte réglementaire, à une règle semi-formelle composée d'un vocabulaire et d'une grammaire spécifiques, puis à une règle formelle en code informatique.
© CSTB
Le CSTB développe une automatisation de l'étude des règles techniques d'une maquette numérique afin de formaliser leur énoncé. À l'avenir, c'est la rédaction même de la[…]
Pour lire la totalité de cet article, ABONNEZ-VOUS
Déjà abonné ?
Pas encore abonné ?
vous lisez un article des Cahiers Techniques du Bâtiment N°372
Découvrir les articles de ce numéro Consultez les archives 2018 des Cahiers Techniques du Bâtiment