The ASSL Approach to Formal Specification of Self-managing Systems.

Emil Vassev Mike Hinchey

Published in: Models, Mindsets, Meta (2018)

Keyphrases

formal specification
formal methods
data abstraction
object oriented design
distributed systems
reverse engineering
specification language
machine learning
expert systems
knowledge based systems
first order logic
model checking
software components