1799 search results - page 316 / 360 » The Logic of Correctness in Software Engineering |
200
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
171
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
141
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
The web hasgreatly improved accessto scientific literature. However, scientific articles on the web are largely disorganized, with research articles being spreadacrossarchive site...
162
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
168
click to vote
UML
1997
Springer
15 years 9 months ago
1997
Springer
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...