2935 search results - page 333 / 587 » An Integrated Approach to High Integrity Software Verificati... |
151
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
139
click to vote
ACMSE
2006
ACM
16 years 15 days ago
2006
ACM
Software is increasingly pervasive in the products we use. Consequently, more programmers are needed to develop the software, and consequently there is unmet demand on programming...
169
click to vote
USS
2008
15 years 8 months ago
2008
The State of Ohio commissioned the EVEREST study in late summer of 2007. The study participants were charged with an analysis of the usability, stability, and security of all voti...
205
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--The paper proposes an approach to content dissemination that exploits the structural properties of an Extensible Markup Language (XML) document object model in order to p...
198
click to vote
JITECH
2007
15 years 6 months ago
2007
This case study discusses two related aspects that are becoming increasingly important in today’s software development practice: re-engineering of a monolithic system into a com...