1376 search results - page 108 / 276 » Model-Driven Software Verification |
130
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
167
click to vote
SIGSOFT
2010
ACM
15 years 27 days ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
123
click to vote
ASWEC
2006
IEEE
15 years 9 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
136
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
118
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...