Rigorous Description of Software Requirements with UML.

Luigi Lavazza

Browse the full SEKE paper archive.