In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...