Tel.: +1 819-821-8000 ext 62096
Fax. : +1 819-821-8200
Office : Main Campus, Sciences Building (D4) room 1010-08
Visitor's Parking : P D4 : park meter max 2 hrs, or daily permit which can be bought at one of the ticket machines identified by a small blue triangle on this map.
- OO Scenario Specification
A formal method for scenario specification; it is object-oriented, executable, based on Cleanroom black boxes, JSD entities, and a process algebra similar to CCS and CSP. Clear, complete, concise, precise.
Synthesize a controller for a reduced (abstract) version of a control problem, and then generalize the solution to solve the complete problem; the idea is to lift synthesis techniques to circumvent state explosion and tackle larger problems.
Development of a software that automatically measures the number of full function points (COSMIC-FFP) for a Rational Rose RealTime (ObjecTime/ROOM) model.
We are looking for industrial partners to participate in beta testing.
- Project Management
A software that integrates estimation, planning, tracking and
of projects; it supports the Rational
Unified Process (RUP), was developed in cooperation with Merck
commitments you can fulfill.
Test Scenario Generation
Automatic generation of functional test scenarios (black box system testing) from an operational profile defined using an EB3 specification
Development of a prototype for an automated project planner, integrated to MicroSoft Project and using the AI planner TLPLAN.