1164 search results - page 97 / 233 » Using CBR for Semantic Analysis of Software Specifications |
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...
103
click to vote
SPLC
2008
15 years 1 months ago
2008
Domain analysis involves not only looking at standard requirements documents (e.g., use case specifications) but also at customer information packs, market analyses, etc. Looking ...
88
Voted
SIMUTOOLS
2008
15 years 1 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
101
click to vote
CII
2006
14 years 12 months ago
2006
Software support for the automotive electrical design process is vital, as many of the safety analysis tasks needing to be carried out, while complex, are repetitive and time cons...
JDCTA
2010
14 years 6 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...