3216 search results - page 347 / 644 » Software engineering issues for mobile application developme... |
185
click to vote
EMSOFT
2007
Springer
16 years 24 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
160
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The Internet has become a cost-effective vehicle for software development and release, particular in the free software community. Given the free nature of this software, there a...
157
click to vote
AGILEDC
2003
IEEE
15 years 12 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
177
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
179
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Intuition is often not a good guide to know which testing strategies will work best. There is no substitute for experimental analysis based on objective criteria: how many bugs a ...