: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
: Trotz zahlreicher Gegenmaßnahmen hat die Informatik nach wie vor mit hohen Abbruchquoten und einem steigenden Desinteresse zu kämpfen. Wir vermuten, dass Wahlmotive sich in ein...