1164 search results - page 187 / 233 » Using CBR for Semantic Analysis of Software Specifications |
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
EUROMICRO
2004
IEEE
14 years 22 days ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
WSC
2000
13 years 10 months ago
2000
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
AOSD
2008
ACM
13 years 11 months ago
2008
ACM
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...