Formally Based Development of Concurrent Object-Oriented Systems.

Stephan Philippi

Published in: PDPTA (1999)

Keyphrases

object oriented systems
software engineering
object oriented
object oriented design
case study
information processing
software maintenance
knowledge based systems
software systems
software design
database
machine learning
development environment