Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (ReqIF)
problem frames - analysing and structuring software development problems .