10 likes | 222 Views
Jeff Kramer & Jeff Magee. Imperial College London. Advocate an architectural approach for benefits in Separation of concerns Modelling and analysis Reification Experience using rigorous techniques in a layered architecture Dynamic (Re)Planning based on a form of model checking
E N D
Jeff Kramer & Jeff Magee Imperial College London • Advocate an architectural approach for benefits in • Separation of concerns • Modelling and analysis • Reification • Experience using rigorous techniques in a layered architecture • Dynamic (Re)Planning based on a form of model checking • Dynamic distributed self-assembly of software components (ICSE FOSE paper 2007) (SEAMS paper 2008, Dagstuhl LNCS 5525 2009) • Dealing with dynamism • Dealing with uncertainty