1164 search results - page 37 / 233 » Using CBR for Semantic Analysis of Software Specifications |
DAC
2006
ACM
14 years 11 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
FASE
1998
Springer
14 years 2 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
FTDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
VLC
2008
13 years 10 months ago
2008
This article describes an architecture for translating speech into Spanish Sign Language (SSL). The architecture proposed is made up of four modules: speech recognizer, semantic a...
FM
1997
Springer
14 years 2 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...