Advancement of Mathematical Methods

Monday, May 26, 2003

McMaster University
Information Technology Building
Room 137

ITB Building

Program           Proceedings           Slides           Pictures

The CSRS event will be dedicated to all topics related to software requirements. The topics are to be interpreted broadly and inclusively, and in particular cover elicitation, modelling, validation, verification, documentation and requirements based testing.

The aim of this event is to foster a research community in areas related to software requirements in Canada through encouraging communication among researchers. Specific objectives include efforts at integration as well as the transfer of methods between different groups.

Some of the participants will be asked to make short presentations (20 minutes). For the academic presentations the aim will be to answer the following questions:

  1. What research have you done or are you now undertaking to make requirements analysis methods and requirements processes more useful to software developers?

  2. How can mathematical methods contribute to tackling the requirements problems you are studying?

  3. What research should we be undertaking in the area of software requirements?

For the industrial participants the presentations will focus on the following questions:

  1. What are the techniques you are using to deal with requirements in your practise and why do you think that they are appropriate for your needs?

  2. What are the problems that you are facing with requirements in your practise?

  3. Which problem do you think research should focus on in the near future?

Naturally, some people will spend more time on one of these questions than on the others. The presentations will be made by both academic and industrial researchers, with the individuals chosen so as to cover as many different schools of thought as possible.

The intention of the organizers is that this symposium will foster a spirit of collaboration and communication within the software requirements community in Canada. The hope is that the good-will generated at this year's event will encourage a similar event to be organized at another Canadian university next year.

Keynote Speaker:

Dr. Axel van Lamsweerde will be the keynote speaker. The work of Dr. van Lamsweerde aims at developing usable languages, methods, and tools for assisting software engineers in the complex, knowledge-intensive tasks they face. More information on his research is provided on the following web-page:

Registration Information:

Registration Form   The deadline for registration is May 5, 2003.

Hotel Information:

Hotel reservations have to be made by May 1st. To receive the corporate rate, state that you are attending CSRS at McMaster University.

       Visitors Inn
       649 Main Street West
       Hamilton ON L8S 1A2
       Toll Free: 1-800-387-4620

Directions to McMaster University:

Directions to the University and a Campus Map can be found at:

URN Focus Group

URN Focus Group Meeting: Tuesday, May 27, 2003

On the day after the CSRS event there will be a meeting of the URN Focus Group. All of the participants of the symposium are invited to stay an additional day and attend the focus group meeting. The details of the meeting are as follows:

TIME: 9:00 am to 12:00

For further information please contact Daniel Amyot (


This symposium has been made possible with support from the Software Quality Research Laboratory, the Department of Computing and Software and the McMaster University Faculty of Engineering.

Contact Information:

If you have any questions, please contact Doris Burns at

Back to SQRL's Homepage