1199 search results - page 83 / 240 » Software Verification and Software Engineering a Practitione... |
126
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
120
click to vote
PLPV
2010
ACM
15 years 6 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
135
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
147
click to vote
IJISEC
2006
15 years 4 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
165
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...