BCS SGES Evening Lecture at Birkbeck (10/5/2000)
Professor Derek Partridge, University of Exeter
The Use of Inductive Technologies for Software System Enhancement
Many software engineering problems are fundamentally data defined.
Specifications, the traditional means to define problems and the
starting point for software development, are typically abstract
approximations to some complex reality. But the specification-based
approach to softweare engineering is hostage to poor approximation as
well as specifications error, omission and inconsistency.
This talk will explain and give examples of the use of inductive
computational technologies, such as neural computing and automatic
rule induction, to improve classically developed software systems
through both specification enhancement and direct implementation
improvement (with the necessary post hoc specification changes).
The major source of examples will be derived from a current
EPSRC-funded project to apply our ideas to air-traffic control
software in collaboration with National Air Traffic Services.
DEREK PARTRIDGE is Professor of Computer Science at the
University of Exeter, UK. Prior to his appointment to the chair
at Exeter in 1986, he was professor of Computer Science at New mexico
state University, USA. He returned to the UK in 1987 having spent 15
years abroad, mostly in the USA but also at the University of Nairobi,
Kenya (2 years), and The University of Queensland, Brisbane, Australia
(8 mths). In 1996 he was Visiting Professor at the Science University
of Malaysia, Penang.
Wednesday 10 May, 6.00 pm, Room 121, North Block of Senate House
==================================================================
Please pass on this information to any members of staff, postgraduates
and others in your department who might be interested in attending.
The room is on the first floor of the North Block, Senate House
of London University, Malet Street, London WC1, and NOT in the
main college building. Please do not take the lift since it does not
stop on the first floor. Entry to the Computer Science Department is
controlled by a security lock. To gain access, phone extension 6700,
or 6711.
A map of the area is available on the web side "http://www.bbk.ac.uk".
Click "college map" on the left column. Location 9 is the North Block
of Senate House.
Organiser: Dr. Hui Liu, Birkbeck College. Email: [log in to unmask]
---------------------------------------------------------------------
Information about the evening lectures and all other SGES events is
available on the SGES website at http://www.bcs-sges.org
____________________________________________
Max Bramer
Professor of Information Technology, University of Portsmouth
Chairman BCS-SGES
Technical Programme Chairman, ES2000 (Dec. 11th-13th 2000)
http://www.dis.port.ac.uk/~bramerma/
http://www.bcs-sges.org
http://www.bcs-sges.org/es2000/
Email (preferred address): [log in to unmask]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|