The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
This paper discusses two projects aimed at utilising the educational potential of hypermedia whilst avoiding the danger of the user becoming “lost in hyperspace”. The first pr...
David J. Moore, Dave J. Hobbs, D. Mullier, C. Bell
This paper discusses a technique to model software patternsfor supporting pattern based software development. Software development can be considered as the evolution of the artifa...
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
Abstract. In this paper we present an approach to time-based adaptation in adaptive hypermedia systems. Time is used as a part of the context (or environment) model. We have propos...