Design of Adaptive Finite Element Software