Specification and Design Methodologies. Deliverable D2.2 Thor Kristoffersen Shahrzade Mazaher Du er her: Hjem Publikasjoner Rapport Specification and Design Methodologies. Deliverable D2.2