Concurrent Object-Oriented Programs: From Specification to Code.

Emil Sekerinski

Published in: FMCO (2002)

Keyphrases

object oriented programs
specification languages
integration testing
impact analysis
formal specification
source code
concurrent programs
object oriented
code generation
black box
hybrid automata
artificial intelligence
dependency analysis
reverse engineering
life cycle
model checking
information systems