Sciweavers

4151 search results - page 372 / 831
» Language Driven System Design
Sort
View
117
Voted
CONCUR
1999
Springer
15 years 9 months ago
Statecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
Gerald Lüttgen, Michael von der Beeck, Rance ...
HASE
1998
IEEE
15 years 9 months ago
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
Susan Stepney
ACL
2001
15 years 6 months ago
Error Profiling: Toward a Model of English Acquisition for Deaf Learners
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
Lisa N. Michaud, Kathleen F. McCoy
ENTCS
2007
107views more  ENTCS 2007»
15 years 4 months ago
Executable Grammars in Newspeak
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
Gilad Bracha
WWW
2006
ACM
16 years 5 months ago
Question answering on top of the BT digital library
In this poster we present an approach to query answering over knowledge sources that makes use of different ontology management components within an application scenario of the BT...
Johanna Völker, Peter Haase, Philipp Cimiano,...