Sciweavers

13 search results - page 3 / 3
» zum 2000
Sort
View
ZUM
2000
Springer
13 years 9 months ago
Retrenchment, Refinement, and Simulation
: 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...
Richard Banach, Michael Poppleton
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
13 years 9 months ago
A Formal Architecture for the 3APL Agent Programming Language
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...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
SCHULE
2007
Springer
13 years 11 months ago
Das informatische Weltbild von Studierenden
: 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...
Carsten Schulte, M. Knobelsdorf