• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Checking concurrent behavior in UML/OCL models.

Nils PrzigodaChristoph HilkenRobert WilleJan PeleskaRolf Drechsler
Published in: MoDELS (2015)
Keyphrases
  • metamodel
  • data model
  • uml class diagrams
  • class diagrams
  • software systems
  • modeling language
  • databases
  • artificial intelligence
  • experimental data
  • model driven
  • conceptual models