Research Areas

General and specialized areas

• Requirements Engineering
• Use cases, scenarios
• High-level design notations
• Graphical notations such as Use Case Maps
• Formal interpretation and validation of design notations such as Use Case Maps.
• CASE tools
• Formal Methods
• LOTOS
• Formal methods in design
• Systems Specification and Validation
• Formal specification, testing and verification
• Black, White and Grey-box testing, scenario-based testing
• Coverage measurement of test suites
• LOTOS-based tools
• Software Engineering applied to Telecommunications
• Telephony
• Mobile telecommunications
• Design tools (ObjecTime)

Other topics of interest

• Telecommunications
• GSM - Global System for Mobile telecommunications
• GPRS - General Packet Radio Services
• Feature interaction problems and solutions
• IN - Intelligent Networks
• Networks and Distributed Systems
• ODP - Open Distributed Processing
• Multi-agents systems
• Object-Oriented world
• Methodologies (OOSE, ROOM, UCM)
• Computer Architectures
• Microprocessors
• Ethics in Computer Sciences
• APIIQ - Association professionnelle des informaticiens et informaticiennes du Québec