A Non-unified View of Modelling, Specification and Programming.

Stefan Hallerstede Peter Gorm Larsen John S. Fitzgerald

Published in: ISoLA (1) (2018)

Keyphrases

reactive systems
modelling language
high level
programming language
development environment
code generation
formal specification
object oriented programming
neural network
specification language
exception handling
database
real time
relational databases
formal verification