Sciweavers

343 search results - page 17 / 69
» Predictability in Real-time System Development (1) Semantics...
Sort
View
COMPSAC
2002
IEEE
15 years 8 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
LREC
2010
189views Education» more  LREC 2010»
15 years 1 months ago
NLGbAse: A Free Linguistic Resource for Natural Language Processing Systems
Availability of labeled language resources, such as annotated corpora and domain dependent labeled language resources is crucial for experiments in the field of Natural Language ...
Eric Charton, Juan Manuel Torres Moreno
161
Voted
CAISE
2003
Springer
15 years 8 months ago
Introducing Custom Language Extensions to SQL: 1999
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
Jernej Kovse, Wolfgang Mahnke
133
Voted
ECAI
1998
Springer
15 years 7 months ago
What You See Is What You Meant: direct knowledge editing with natural language feedback
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
Richard Power, Donia Scott, Roger Evans
143
Voted
ECMDAFA
2008
Springer
100views Hardware» more  ECMDAFA 2008»
15 years 5 months ago
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria...