Towards ASM-Based Formal Specification of Self-Adaptive Systems.

Elvinia Riccobene Patrizia Scandurra

Published in: ABZ (2014)

Keyphrases

formal specification
formal methods
model checking
object oriented design
high level
software components
reverse engineering
specification language
real world
software development
distributed systems
fuzzy logic
relational databases
cooperative
process algebra
specification languages
grid workflow