Sciweavers

15794 search results - page 70 / 3159
» Agent-Oriented Software Engineering
Sort
View
FASE
2003
Springer
16 years 15 days ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
APSEC
2002
IEEE
16 years 7 days ago
A Recommendation System for Software Function Discovery
Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto
KBSE
2002
IEEE
16 years 6 days ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...