Models Of Computationand languages

• Need to distinguish between model and language

• Language needs to

  • be expressive enough for application domain (write things once…)
  • have semantics in desired MOC

• MOC needs to

  • be powerful enough for application domain
  • have appropriate synthesis and validation algorithms

Previous slide

Next slide

Back to first slide

View graphic version