506 search results - page 51 / 102 » Software Review |
C3S2E
2009
ACM
14 years 3 months ago
2009
ACM
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
GPCE
2009
Springer
14 years 1 months ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
ISSTA
2010
ACM
13 years 10 months ago
2010
ACM
In May 2009, Google conducted a company wide FindBugs “fixit”. Hundreds of engineers reviewed thousands of FindBugs warnings, and fixed or filed reports against many of the...
APPINF
2003
13 years 10 months ago
2003
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph ...
ICONS
2008
IEEE
14 years 3 months ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...