171 search results - page 2 / 35 » Experience report: using RESOLVE C for commercial software |
CSMR
2002
IEEE
13 years 10 months ago
2002
IEEE
With the growing popularity of the Java programming language for both client and server side applications in network-centric computing, there is a rising need for programming libr...
ICFP
2009
ACM
14 years 6 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
ICSE
2007
IEEE-ACM
13 years 11 months ago
2007
IEEE-ACM
This paper outlines our experiences with making architectural tradeoffs between performance, availability, security, and usability, in light of stringent cost and time-to-market c...
ICSE
2009
IEEE-ACM
13 years 10 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
The most popular unit of work in organizations is a project. Managing knowledge in and about projects is salient for successful project management. Explicit knowledge is easier to...