Specification refinements: Calculi, tools, and applications.

Mihai Codescu Till Mossakowski Donald Sannella Andrzej Tarlecki

Published in: Sci. Comput. Program. (2017)

Keyphrases

formal specification
high level
end users
software tools
code generation
decision support
building blocks
formal methods
collaborative learning
conceptual model
specification language
ims qti