Computer Systems Colloquium
"Some prejudices about the development of concurrent software"
3.30 pm, Thursday 2 March
Room 2511, James Clerk Maxwell Building
To develop any non-trivial system one needs to be able to discuss its parts
separately. To a formalist, this means that separate specifications are
required. But the first prejudice outlined in this talk is that the need
for "compositional" ways of understanding systems exists even with informal
development. The talk will make explicit a number of other prejudices such
as the problem of granularity which motivate my work on compositional
development but which transcend the formal/informal division.
Last modified: Mon Feb 21 12:14:41 GMT 2000
Please contact our
webadmin with any comments or changes.
Unless explicitly stated otherwise, all material is
copyright © The University of Edinburgh.