1164 search results - page 77 / 233 » Using CBR for Semantic Analysis of Software Specifications |
130
click to vote
APN
2006
Springer
15 years 3 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
109
click to vote
DAC
2004
ACM
15 years 3 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
CSSE
2004
IEEE
14 years 11 months ago
2004
IEEE
The Synchronized Multimedia Integration Language (SMIL) [Aya01] is an W3C [W3C03] specification for authoring multimedia documents. Although SMIL has XML like syntactic constructs...
FECS
2006
15 years 1 months ago
2006
- Many small businesses require distributed information systems but do not have the resources to develop, host or maintain them. An alternative approach may be to offer the softwar...
108
click to vote
ICCD
2005
IEEE
15 years 5 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...