SPE
2011
12 years 11 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
AGILEDC
2007
IEEE
13 years 10 months ago
2007
IEEE
Using Bruce Tuckman’s [1] “Forming – Storming – Norming – Performing” model of team development we review the effects of change on our team through each stage. We go o...