3021 search results - page 454 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
205
click to vote
MSR
2006
ACM
16 years 27 days ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
215
Voted
ICSM
2005
IEEE
16 years 16 days ago
2005
IEEE
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
169
click to vote
KBSE
2005
IEEE
16 years 16 days ago
2005
IEEE
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
181
Voted
SEFM
2005
IEEE
16 years 16 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
194
Voted
VMCAI
2005
Springer
16 years 13 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...