This paper presents a formal methodology for modelling knowledge included in safety
standards. The use of the NIAM/ORM method addresses the problem of unprecise …

L'activité de spécification devient considérable; une multitude de pages sont écrites tous les
jours et la plupart du temps en langage naturel. Pour le CNET (Centre National d'Etudes des …

In this paper one presents a system for introducing assertions in a knowledge base (kb).
These assertions are represented as formulae of Predicate Calculus (PC) whose variables …

Résumé Une base de connaissance terminologique (BCT) est à la fois une banque de
terminologie conceptuellement et sémantiquement structurée et une base de …

Abstract The LESD project (Linguistic Engineering for Software Development) aimed to
develop computing tools for analysis and reasoning on functional or preliminary …

La rédaction de spécifications techniques, écrites la plupart du temps en langage naturel,
est devenue une activité considérable. Parallèlement la nécessité de réduire les temps de …

Artificial intelligence tools for software engineering: Processing natural language
requirements M. Bras & Y. Toussaint Toulouse Cedex, France ABSTRACT In an industrial …

Making specifications is taking more and more time; every day an enormous quantity of
pages which, for the most part, is written in natural language. However the need to reduce …

The specification phase is one of the most important and least supported part of the software
development process. We have conceived SAREL (Assistance System for Writing Software …

The activity of specification is becoming considerable; every day an enormous quantity of
pages which, for the most part, is written in natural language. For CNET, which carries out …