Seminar Programme

20th February, Prof. Michael Fisher (Manchester Metropolitan University)
               "Implementing Agent-Based Systems by Direct Execution"

13th  March, Dr. Michael Butler (University of Southhampton)

27th March,  Prof. Mike Holcombe (Sheffield University)
                "Complete functional testing"

Previous (1997):

7th October 1997, Dr Kevin Lano (Imperial College)

                "Design Patterns and their role in Formal Object-oriented Development "(postcript)

7th February 1997, Dr. Juan Bicarregui (RAL/Imperial College)

"Towards a Compositional Interpretation of Object Diagrams"

14th March 1997, Mr. Steve Dunne (University of Teesside)

"Hypersubstitutions; extending the semantics of B's generalised substitution language to capture more meaning [Why (abort;magic) should never terminate]"

25th April 1997, Prof. Tony Bryant (Leeds Metropolitan University)

"Maturity in Methods Integration"