1356 search results - page 53 / 272 » The ideal of verified software |
102
click to vote
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
SEAA
2008
IEEE
15 years 6 months 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...
101
click to vote
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
Successful employment of semantic web services depends on the availability of high quality ontologies to describe the domains of these services. As always, building such ontologies...
HVC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...