1164 search results - page 57 / 233 » Using CBR for Semantic Analysis of Software Specifications |
190
Voted
BDIM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...
130
Voted
ASWEC
2006
IEEE
15 years 7 months ago
2006
IEEE
Software Reuse is a concept that is frequently mentioned as a way to improve software developers' productivity. However, there are a number of issues that need to be addresse...
126
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
136
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
116
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...