A declarative executable model for object-based systems based on functional decomposition.

Pierre Kelsen

Browse the full ICSoft paper archive.