Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.

Derek Coleman Fiona Hayes Stephen Bear

Published in: IEEE Trans. Software Eng. (1992)

Keyphrases

object oriented design
object oriented systems
class diagrams
formal specification
software design
object oriented
formal methods
software maintenance
reinforcement learning
source code
model checker
software engineering
database
information systems
knowledge based systems
design patterns