|
| [URN-P1] Framework and scope of formal languages | |
| [URN-P2] Use Case Maps path data model, scenario definitions, and path traversal mechanism, with remaining issues | |
| [URN-P3] Overview of URN's current support for time and performance annotations/analysis | |
| [URN-P4] Goal-oriented requirements language | |
| [URN-P5] Use Case Maps notation | |
| [URN-P6] Discussion and illustration of a mechanism for the generation of Message sequence Charts from Use Case Maps | |
