Case studies of development of verified programs with Dafny for accessibility assessment.

João Pascoal Faria Rui Abreu

Published in: CoRR (2023)

Keyphrases

case study
development process
real world
design process
knowledge management
information processing
lessons learned
data sets
software engineering
computer programs
decision support
knowledge based systems
rapid development
quality assessment
st century
centered design