1592 search results - page 3 / 319 » What Use is Verified Software |
SEAA
2008
IEEE
14 years 4 days ago
2008
IEEE
In this exploratory case study, effort distribution visualizations of industrial software development projects are made in order to assess to what extent patterns can be found tha...
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
ASWEC
2005
IEEE
13 years 11 months ago
2005
IEEE
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...
MICRO
2008
IEEE
13 years 5 months ago
2008
IEEE
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...
ICSE
1999
IEEE-ACM
13 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...