Sciweavers

8008 search results - page 495 / 1602
» Computer-Aided Language Processing
Sort
View
GPCE
2008
Springer
15 years 7 months ago
Typing communicating component assemblages
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stef...
ICALT
2010
IEEE
15 years 7 months ago
Improve the Output from a MCQ Test Item Generator Using Statistical NLP
In this study I use statistical Natural Language Processing and adapted Controlled Language methods to preprocess individual documents before they are used as source documents for ...
Robert Michael Foster
TPHOL
2002
IEEE
15 years 11 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
UML
2001
Springer
15 years 10 months ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
TSD
1999
Springer
15 years 10 months ago
Handling Word Order in a Multilingual System for Generation of Instructions
Slavic languages are characteristic by their relatively high degree of word order freedom. In the process of automatic generation from an underlying representation of the content, ...
Ivana Kruijff-Korbayová, Geert-Jan M. Kruij...