Sciweavers

31 search results - page 2 / 7
» An Object-Oriented Approach to Produce Educational Hypermedi...
Sort
View
ENTCS
2008
140views more  ENTCS 2008»
13 years 6 months ago
Linking Event-B and Concurrent Object-Oriented Programs
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...
Andrew Edmunds, Michael Butler
EUROMICRO
1997
IEEE
13 years 10 months ago
Interaction paradigms with educational hypermedia
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
APSEC
1999
IEEE
13 years 10 months ago
Software Development Based on Software Pattern Evolution
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...
Takashi Kobayashi, Motoshi Saeki
CAEPIA
2003
Springer
13 years 11 months ago
A Document-Oriented Approach to the Development of Knowledge Based Systems
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...
José Luis Sierra, Baltasar Fernández...
AH
2004
Springer
13 years 11 months ago
Time-Based Extensions to Adaptation Techniques
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...
Mária Bieliková, Rastislav Habala