ISR
Jeffrey Kramer
Email RSVP required to Rick Martin at remartin@uci.edu by Monday, October 30.
No cost to attend.
Click here for directions and parking information.
In the past, attempts to convince practising software engineers to adopt formal methods of software development were generally unsuccessful. The methods were too difficult to learn and use, provided inadequate tool support and did not integrate well into the software development process. In short, they were not cost-effective and could only be used effectively by the gods who created them! Are we in a better position today? Recent advances in and experience with specification techniques and automated model checking have demonstrated the utility of these techniques. In this talk we outline one such effort which is specifically intended to facilitate modelling as part of software development, and to try to make model specification and model checking accessible to mere mortals.
Prof. Jeff Kramer is head of the Department of Computing at Imperial College, London. He is head of the Distributed Software Engineering research section, with research interests which include requirements engineering, design and analysis methods, software architectures and software development environments, particularly as applied to concurrent and distributed software. He was a principal investigator in the various research projects which led to the development of the CONIC and DARWIN environments for distributed programming and associated research into software architectures and their analysis. He is currently a principal investigator of projects on behaviour modelling and analysis techniques for concurrent and distributed software systems (BEADS and C3DS) and on consistency management in viewpoint oriented software requirements engineering (VOICI). Jeff Kramer is a Chartered Engineer and Fellow of the IEE. He is co-author of a recent book on concurrency and a previous book on distributed systems and computer networks. He is a co-editor of a book on software process modelling and technology and is the author of over 150 journal and conference publications. He is also editor of a book series on Advanced Software Development for Research Studies Press and an associate editor for ACM TOSEM.
