614 search results - page 16 / 123 » LCLint: A Tool for Using Specifications to Check Code |
140
click to vote
SERP
2003
15 years 5 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
131
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
143
click to vote
SCCC
1998
IEEE
15 years 8 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
158
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
129
click to vote
CADE
2006
Springer
15 years 7 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...