--- abstract: 'Requirements engineering (RE) is a crucial aspect in systems development and is the area of ongoing research and process improvement. However, unlike in modelling, there has been no established standard that activities could converge on. In recent years, the emerging Requirements Interchange Format (RIF/ReqIF) gained more and more visibility in industry, and research projects start to investigate these standards. To avoid redundant efforts in implementing the standard, the VERDE and Deploy projects cooperate to provide a stable common basis for RIF/ReqIF that could be leveraged by other research projects too. In this paper, we present an Eclipse-based extensible implementation of a RIF/ReqIF-based requirements editing platform. In addition, we are concerned with two related aspects of RE that take advantage of the common platform. First, how can the quality of requirements be improved by replacing or complementing natural language requirements with formal approaches such as domain specific languages or models. Second, how can we establish robust traceability that links requirements and model constructs and other artefacts of the development process. We present two approaches to traceability and two approaches to modelling. We believe that our research represents a significant contribution to the existing tooling landscape, as it is the first clean-room implementation of the RIF/ReqIF standard. We believe that it will help reduce gaps in often heterogeneous tool chains and inspire new conceptual work and new tools. ' accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: michael@jastram.de copyright_holders: [] corp_creators: [] creators_id: - michael@jastram.de - ~ creators_name: - family: Jastram given: Michael honourific: '' lineage: '' - family: Graf given: Andreas honourific: '' lineage: '' data_type: ~ date: 2011 date_type: published datestamp: 2011-06-08 16:03:54 department: ~ dir: disk0/00/00/03/07 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: - family: Giese given: Holger honourific: '' lineage: '' - family: Philipps given: Jan honourific: '' lineage: '' - family: Huhn given: Michaela honourific: '' lineage: '' - family: Schätz given: Bernhard honourific: '' lineage: '' eprint_status: archive eprintid: 307 event_dates: ~ event_location: ~ event_title: ~ event_type: ~ exhibitors_id: [] exhibitors_name: [] fileinfo: /style/images/fileicons/application_pdf.png;/307/1/mbees2011.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2011-06-08 16:03:54 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: http://www.in.tu-clausthal.de/abteilungen/gi/research/mbees2011 output_media: ~ pagerange: ~ pages: 188 patent_applicant: ~ pedagogic_type: ~ place_of_pub: Germany pres_type: ~ producers_id: [] producers_name: [] projects: [] publication: ~ publisher: 'fortiss GmbH, München' refereed: TRUE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 26 series: 'Dagstuhl-Workshop MBEES: Model-Based Development of Embedded Systems' skill_areas: [] source: ~ status_changed: 2011-06-08 16:03:54 subjects: - deploy_industrial - deploy_method_reqevo succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: 'Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF) ' type: book userid: 259 volume: ~