<?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="4" start_page="441" end_page="442" type="metho">
    <SectionTitle>
5 Les critbres de choix d'une
</SectionTitle>
    <Paragraph position="0"> m6thode formelle pour le TALN L'utilisation de la m~thode VDM pour la specification complhte et valid~e du systhme CORTEXA a @t@ PS titre d'essai. Toutelois, le choix d'une m~thode formelle pour le d~veloppement d'une application de TALN reste crucial. Ce choix dolt tenir compte des sp~cificit~s du domaine des langues naturelles sur le plan du langage de specification et sur celui de la m~thodologie appliqu~e. Dans ce qui suit, nous donnons quelques crithres que nous jugeons pertinents dans le choix d'une m~thode formelle dans le contexte de TALN :  * Le pouvoir expressif de la m~thode : possibilit~ d'int~grer dans la m~me specification des connaissances linguistiques vari~es d~crites avec des formalismes diff4rents. Le langage de sp4cification doit pouvoir unifier la representation des diff4rentes expressions. Le pouvoir expressif concerne aussi la specification conjointe des donn~es linguistiques et les traitements qui leurs sont appliques.</Paragraph>
  </Section>
class="xml-element"></Paper>