Me2011 Granularity presentation by Henderson-Sellers
1. Towards the use of granularity theory for determining the size of atomic method fragments for use in situational method engineering Brian Henderson-Sellers Director, COTAR Centre for Human Centred Technology Design School of Software University of Technology, Sydney Cesar Gonzalez-Perez The Heritage Laboratory CSIC, Santiago de Compostela
2.
3.
4.
5.
6. Abstraction Mapping α : S A Formally, an abstraction maps between two formal systems, Σ 1 , Σ 2 , where each system is a set of formulae, Θ , written in a language Λ . Then, equating Θ with Λ (Giunchiglia and Walsh, 1992), we have Σ =( Λ ) such that f: Σ 1 Σ 2 and f Λ : Λ 1 Λ 2