|
Workshop on Formal
Methods
December 5,
2002
Software Engineering
Research Center (SERC)
Ball State
University
As a part of the SERC Showcase during
December 4-5, 2002, we are organizing a workshop on formal methods to be held on December 5,
2002, between 1:30 p.m. -5:00
p.m. A survivor's dinner, at a local restaurant is
included and will follow the workshop.
This
workshop will cover several topics on the use of formal methods in software engineering for verification and
development. The emphasis will be on the applications of formal
methods and tools in industry.
Our target audience is software developers and managers in
industry, faculty who may be interested in learning more about
formal methods or in developing a course in this area, and students
who may be interested in learning about formal methods and their
applications.
The topics to be covered in the workshop include:
q
Introduction to Formal Methods in Software
Engineering.
q
Survey of Formal Methods Tools. Tools such as SMV,
RAISE, and VDM++ will be covered in some depth.
q
Applications to Industrial Software Engineering.
q
Industrial Experiences.
Dr. Jay Bagga, Professor of Computer Science at Ball State
University, is organizing the workshop. Presenters include:
- Jay
Bagga
-
Chris
George, Senior Research Fellow for Advanced Development Projects at
The United Nations University International Institute for Software
Technology (UNU/IIST) in Macau.
-
Jan
de Nijs, Vice President of Engineering, City Machine Tools and Die
Co., Inc, Muncie, IN
-
Elizabeth
VandenBerg, Research Assistant, Ball State
University.
Jay Bagga is an active researcher in the areas of formal methods, graph theory and graph algorithms, and computational geometry. He has over forty
publications and he has presented lectures in many countries. He has
organized workshops in formal methods and he is currently involved
in research projects on formal methods funded by SERC and the US
Department of Education.
Chris George has conducted training courses and workshops in
many countries. He has been involved in the development and use of
RAISE since its very beginning. With the help of a number of
UNU/IIST fellows he has developed a new set of tools for RAISE
(Rigorous Approach to Industrial Software Engineering). He has several publications,
and he is the main editor of the recent work Specification Case
Studies in RAISE (Springer-Verlag,
2002).
Jan de Nijs is involved in the development and management of
software systems and PLC software for use at City Machine. He is
currently working with Jay Bagga and Elizabeth VandenBerg on a SERC
research project that involves the use of formal methods and tools
such as SMV for the verification of specifications of City Machine's
PLC software.
| 
