| Collaboration: (2008) | |||||||||||||
Abstract | |||||||||||||
| Un survol de FoCaL Le système manipule des entités qui appartiennent à des collections (e in c) qui sont décrites par des espèces (c is s) Les espèces (species) • spécifient des opérations (sig) et leur propriétés (property) • implémentent des algorithmes (let) et montrent leur correction (theorem) • Instancient des structures de données (rep) • Héritent les composants d’autres espèces (inherits) Les collections (collection) instancient des espèces concretes (implements) et donnent une interface utilisateur abstraite. Les entités sont manipulées avec des appels de méthode (c!m) 3/37 c ○ | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||