Generating JML Specifications from UML State Diagrams.

Engelbert Hubbers Martijn Oostdijk

Published in: FDL (2003)

Keyphrases

class diagram
uml class diagrams
class diagrams
state space
object oriented
database applications
database design
specification language
hand drawn
unified modeling language