Login / Signup

Modeling a Smart School Building System Using UML and TLA+.

Nawar H. ObeidatCarla Purdy
Published in: ICICT (2020)
Keyphrases
  • modeling language
  • unified modeling language
  • object oriented
  • software systems
  • software engineering
  • mobile devices
  • database design
  • temporal logic
  • high school
  • model driven
  • sequence diagrams