BIRTHDAY
2005
Springer
14 years 6 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 6 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 6 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 6 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 6 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 6 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...
BIRTHDAY
2005
Springer
14 years 6 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...
BIRTHDAY
2005
Springer
14 years 6 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...
BIRTHDAY
2005
Springer
14 years 6 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 ...
BIRTHDAY
2005
Springer
14 years 6 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 ...