614 search results - page 57 / 123 » LCLint: A Tool for Using Specifications to Check Code |
CODES
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partly fixed. At tha...
CARDIS
2000
Springer
14 years 14 days ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
SIGOPS
2010
13 years 7 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...