3564 search results - page 136 / 713 » Evaluating a Formal Modelling Language |
125
click to vote
CEFP
2007
Springer
15 years 4 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
110
click to vote
CICLING
2003
Springer
15 years 3 months ago
2003
Springer
In this work1 we obtain robust category-based language models to be integrated into speech recognition systems. Deductive rules are used to select linguistic categories and to matc...
UML
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
ECEASST
2006
14 years 10 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...