In Information Systems development, resilience has often been treated
as a non-functional requirement and little or no work is aimed at building
resilience in end-users through systems development. The question of how
values and resilience (for the end-user) can be incorporated into the design of
systems is an on-going research activity in user-centered design, but remains
largely absent from method engineering research and its formal area. In this
paper we evaluate the relation of values and resilience within the context
of an ongoing software development project and contribute a formal model of co-design based on a significant extension of Abstract Design Theory.
The formal analysis provides a full and clear-cut definition of the co-design
space, its objectives and processes. On the basis of both, we provide an
abstract definition of resilient system (for the end-user). We conclude that
value-sensitive co-design enforces better resilience in end-users.