Sign in
Designing Concurrent Object-Oriented Programs in Java.
David Holmes
Doug Lea
Published in:
TOOLS (33) (2000)
Keyphrases
</>
object oriented programs
specification languages
integration testing
impact analysis
object oriented
formal specification
black box
artificial intelligence
programming language
source code
databases
software engineering
first order logic
life cycle
dependency analysis