Sciweavers

9444 search results - page 285 / 1889
» The Language Model LMNtal
Sort
View
TPHOL
1998
IEEE
15 years 11 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...
TOOLS
1997
IEEE
15 years 11 months ago
JBCDL: An Object-Oriented Component Description Language
This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). ...
Qiong Wu, Jichuan Chang, Hong Mei, Fuqing Yang
NIPS
2007
15 years 8 months ago
A Probabilistic Approach to Language Change
We present a probabilistic approach to language change in which word forms are represented by phoneme sequences that undergo stochastic edits along the branches of a phylogenetic ...
Alexandre Bouchard-Côté, Percy Liang,...
ASE
2006
104views more  ASE 2006»
15 years 6 months ago
On the Systematic Analysis of Natural Language Requirements with C
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
Vincenzo Ambriola, Vincenzo Gervasi
IASSE
2004
15 years 8 months ago
Execution of A Requirement Model in Software Development
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J....