|
[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 | |