A Formal Model for Componentware.

Klaus Bergner Andreas Rausch Marc Sihling Alexander Vilbig Manfred Broy

Published in: FBT (1999)

Keyphrases

formal model
formal models
predicate calculus
security patterns
knowledge representation