BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
144
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
131
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
139
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
110
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
126
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...