Rambutan is a Requirements Management Tool for Busy System Analysts The application consists of two programs, one for a desktop computer and the other for ahandheld computer. The desktop software...

This dissertation presents the contributions of seven publications all concerned with the application of Coloured Petri Nets (CPN) to requirements modeling for reactive systems. The publications ar...