van Lamsweerde, Axel2023-04-272023-04-272009https://dspace-uh-tmp.igniteonline.la/handle/123456789/7625714 p.DIGITALPDFenRequirements Engineering: From System Goals to UML Models to Software SpecificationsBook