Sciweavers

15779 search results - page 87 / 3156
» Change-oriented software engineering
Sort
View
FASE
2003
Springer
15 years 11 months ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
APSEC
2002
IEEE
15 years 11 months ago
A Recommendation System for Software Function Discovery
Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto
132
Voted
ICSM
2002
IEEE
15 years 11 months ago
Behavioural Concern Modelling for Software Change Tasks
Albert Lai, Gail C. Murphy
123
Voted
KBSE
2002
IEEE
15 years 11 months ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...