Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment.

João Pascoal Faria Rui Abreu

Published in: FSEN (2023)

Keyphrases

case study
development process
centered design
lessons learned
design process
high level
object oriented
open source
decision support
database
artificial intelligence
learning algorithm
rapid development
answer sets
st century
programming environment
assistive technology
programming environments
data sets