Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
Abstract. This position paper investigates on the need to put software architecture evaluations for maintainability in a broader perspective than is done until now.
We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...