formal MVC: A Pattern for the Integration of ASM Specifications in UI Development.

Andrea Bombarda Silvia Bonfanti Angelo Gargantini

Published in: ABZ (2023)

Keyphrases

formal specification
formal descriptions
user interface
knowledge based systems
development process
reactive systems
neural network
artificial intelligence
case study
data integration
active shape model
knowledge processing
ontological engineering