Research Philosophy
Research ought to be beneficial. It should have an inter disciplinary potential. Crossing computer
science and law is an example, another is the use of mathematical logic to study telecommunication
systems. It is our position that technological and social networks will be affected by research
combining concepts from various disciplines. The potential of adoption of a research product is hard to
predict. Nonetheless, I believe that the following questions are fundamental:

• usefulness the research can lead to a tangible system that can overcome an existing problem
• expansion the concepts underlying the research should be reusable to similar problems
• stickiness the ideas and tools generated should encourage others to support the domain

Research Method
The method is an instrumental part of our approach. At an abstract level, the method suggests the
extraction and representation of requirements using a logic-based language for its eventual analysis.
The method is independent of the language of extraction and the language of implementation. It
assumes a first order logic approach in the representation. The method is based on our core belief that
states: A legal requirements validation problem can be represented as first order logic problem. In
addition, the formal analysis techniques when applied to the logic model are able to assist in the legal
requirement validation question.
Waël A. Hassan, PhD.
SITE School of Information
Technology and Eng.
800 King Edward Avenue,
Office 4020
Ottawa, ON K1N 6N5
Tel: (613) 562-5738
Fax: (613) 562-5664