Sciweavers

1199 search results - page 7 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
HICSS
2007
IEEE
181views Biometrics» more  HICSS 2007»
15 years 11 months ago
A Methodology to Evaluate Agent Oriented Software Engineering Techniques
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
Chia-En Lin, Krishna M. Kavi, Frederick T. Sheldon...
130
Voted
ICFEM
2009
Springer
15 years 2 months ago
Improving Automatic Verification of Security Protocols with XOR
Abstract. K
Xihui Chen, Ton van Deursen, Jun Pang
122
Voted
KBSE
1997
IEEE
15 years 8 months ago
Research Directions for Automated Software Verification: Using Trusted Hardware
Premkumar T. Devanbu, Stuart G. Stubblebine
104
Voted
KBSE
2002
IEEE
15 years 10 months ago
Assumption Generation for Software Component Verification
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...