Login / Signup
Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems.
Stefan Marr
Elisa Gonzalez Boix
Hanspeter Mössenböck
Published in:
Software Engineering (Workshops) (2016)
Keyphrases
</>
meta level
concurrent systems
object level
temporal logic
distributed problem solving
domain knowledge
viewpoint
distributed systems
high level
high resolution
model checking
formal specification