Carroll Morgan (academic)
Encyclopedia
Carroll Morgan is an Australia
n computer scientist. An Australian Professorial Fellow at the University of New South Wales
, his primary research interests are probabilistic models for security and concurrency. He is also the author of numerous papers and active member of a number of IFIP
working groups. He is the author of Programming from Specifications (ISBN 0-13-123274-6) where he provided a thorough treatment of elementary program constructs which were later incorporated as elements of B
by Jean-Raymond Abrial
. Carroll Morgan is known as a proponent of formalized approach to program development called Refinement Calculus
.
Australia
Australia , officially the Commonwealth of Australia, is a country in the Southern Hemisphere comprising the mainland of the Australian continent, the island of Tasmania, and numerous smaller islands in the Indian and Pacific Oceans. It is the world's sixth-largest country by total area...
n computer scientist. An Australian Professorial Fellow at the University of New South Wales
University of New South Wales
The University of New South Wales , is a research-focused university based in Kensington, a suburb in Sydney, New South Wales, Australia...
, his primary research interests are probabilistic models for security and concurrency. He is also the author of numerous papers and active member of a number of IFIP
International Federation for Information Processing
The International Federation for Information Processing is an umbrella organization for national societies working in the field of information technology. It is a non-governmental, non-profit organization with offices in Laxenburg, Austria...
working groups. He is the author of Programming from Specifications (ISBN 0-13-123274-6) where he provided a thorough treatment of elementary program constructs which were later incorporated as elements of B
B-Method
The B method is method of software development based on B, a tool-supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean-Raymond Abrial in France and the UK. B is related to the Z notation and supports...
by Jean-Raymond Abrial
Jean-Raymond Abrial
Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods.J.-R. Abrial is the father of the Z notation , during his time at the Programming Research Group within the Oxford University Computing Laboratory, and later the B-Method , two leading...
. Carroll Morgan is known as a proponent of formalized approach to program development called Refinement Calculus
Refinement Calculus
Refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non-executable "program", which is then refined by a series of correctness-preserving transformations into an...
.