1164 search results - page 24 / 233 » Using CBR for Semantic Analysis of Software Specifications |
172
click to vote
OOPSLA
2010
Springer
15 years 28 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
130
click to vote
ER
2000
Springer
15 years 6 months ago
2000
Springer
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...
139
click to vote
EUROMICRO
1999
IEEE
15 years 7 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
131
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...
177
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...