<?xml version="1.0" standalone="yes"?>
<Paper uid="P98-1073">
  <Title>Vers l'utilisation des m thodes formelles pour le d veloppement de linguiciels</Title>
  <Section position="5" start_page="442" end_page="442" type="concl">
    <SectionTitle>
6 Conclusion
</SectionTitle>
    <Paragraph position="0"> L'utilisation des m~thodes formelles dans le contexte des langues naturelles permet, non seulement de consolider les avantages globaux de ces methodes dans le cadre g~n~ral de d~veloppement de logiciels, mais aussi de rapporter de nouveaux profits sp~cifiques au domaine. Cette utilisation concerne aussi bien le processus de d~veloppement des applications que leur maintenance. Cependant, le choix d'une m~thode appropri~e reste li~ PS la disponibilit~ d'outils logiciels associ4s qui facilitent sa mise en oeuvre et k la construction d'une bibliothhque de specifications r~utilisables.</Paragraph>
    <Paragraph position="1"> Actuellement, nos travaux se concentrent sur la finalisation d'une approche que nous avons d~velopp~e pour g~n~raliser l'utilisation des m~thodes formelles (VDM ou autres) dans le processus de d~veloppement des linguiciels.</Paragraph>
    <Paragraph position="2"> Cette approche inthgre les principaux formalismes existants de description des connaissances linguistiques (i.e., Grammaires d'Unification, Grammaires Formelles, HPSG, etc).</Paragraph>
  </Section>
class="xml-element"></Paper>