A Java toolkit for the design and the automatic checking of server architectures.

Gautier Loyauté Rémi Forax Gilles Roussel

Published in: PPPJ (2007)

Keyphrases

design process
high level
source code
memory management
design methodologies
case study
database systems
user interface
distributed systems
knowledge based systems
building blocks
design principles
design tools