<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="lamercerie-2018-analyse">
    <titleInfo>
        <title>Analyse formelle d‘exigences en langue naturelle pour la conception de systèmes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems )</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Aurélien</namePart>
        <namePart type="family">Lamercerie</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2018-05</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <language>
        <languageTerm type="text">fra</languageTerm>
    </language>
    <relatedItem type="host">
        <titleInfo>
            <title>Actes de la Conférence TALN. Volume 2 - Démonstrations, articles des Rencontres Jeunes Chercheurs, ateliers DeFT</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Pascale</namePart>
            <namePart type="family">Sébillot</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Vincent</namePart>
            <namePart type="family">Claveau</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>ATALA</publisher>
            <place>
                <placeTerm type="text">Rennes, France</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>Cet article explore la construction de représentations formelles d’énoncés en langue naturelle. Le passage d‘un langage naturel à une représentation logique est réalisé avec un formalisme grammatical, reliant l‘analyse syntaxique de l’énoncé à une représentation sémantique. Nous ciblons l‘aspect comportemental des cahiers des charges pour les systèmes cyber-physiques, c‘est-à-dire tout type de systèmes dans lesquels des composants logiciels interagissent étroitement avec un environnement physique. Dans ce cadre, l‘enjeu serait d‘apporter une aide au concepteur. Il s‘agit de permettre de simuler et vérifier, par des méthodes automatiques ou assistées, des cahiers des charges “systèmes” exprimés en langue naturelle. Cet article présente des solutions existantes qui pourraient être combinées en vue de la résolution de la problématique exposée.</abstract>
    <identifier type="citekey">lamercerie-2018-analyse</identifier>
    <location>
        <url>https://aclanthology.org/2018.jeptalnrecital-recital.4/</url>
    </location>
    <part>
        <date>2018-5</date>
        <extent unit="page">
            <start>41</start>
            <end>54</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Analyse formelle d‘exigences en langue naturelle pour la conception de systèmes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems )
%A Lamercerie, Aurélien
%Y Sébillot, Pascale
%Y Claveau, Vincent
%S Actes de la Conférence TALN. Volume 2 - Démonstrations, articles des Rencontres Jeunes Chercheurs, ateliers DeFT
%D 2018
%8 May
%I ATALA
%C Rennes, France
%G fra
%F lamercerie-2018-analyse
%X Cet article explore la construction de représentations formelles d’énoncés en langue naturelle. Le passage d‘un langage naturel à une représentation logique est réalisé avec un formalisme grammatical, reliant l‘analyse syntaxique de l’énoncé à une représentation sémantique. Nous ciblons l‘aspect comportemental des cahiers des charges pour les systèmes cyber-physiques, c‘est-à-dire tout type de systèmes dans lesquels des composants logiciels interagissent étroitement avec un environnement physique. Dans ce cadre, l‘enjeu serait d‘apporter une aide au concepteur. Il s‘agit de permettre de simuler et vérifier, par des méthodes automatiques ou assistées, des cahiers des charges “systèmes” exprimés en langue naturelle. Cet article présente des solutions existantes qui pourraient être combinées en vue de la résolution de la problématique exposée.
%U https://aclanthology.org/2018.jeptalnrecital-recital.4/
%P 41-54

Markdown (Informal)

[Analyse formelle d’exigences en langue naturelle pour la conception de systèmes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems )](https://aclanthology.org/2018.jeptalnrecital-recital.4/) (Lamercerie, JEP/TALN/RECITAL 2018)

• Analyse formelle d’exigences en langue naturelle pour la conception de systèmes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems ) (Lamercerie, JEP/TALN/RECITAL 2018)

ACL

• Aurélien Lamercerie. 2018. Analyse formelle d’exigences en langue naturelle pour la conception de systèmes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems ). In Actes de la Conférence TALN. Volume 2 - Démonstrations, articles des Rencontres Jeunes Chercheurs, ateliers DeFT, pages 41–54, Rennes, France. ATALA.