Login / Signup
Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness.
Robert J. Shaw
Ronald A. Olsson
Published in:
Inf. Sci. (1998)
Keyphrases
</>
software developers
software systems
source code
software repositories
open source
software maintenance
object oriented systems
software evolution
case study
concurrent programs
information systems
data model
design patterns
software artifacts