[mbeddr] Requirements, Tracing and Documents #18
Description
The mbeddr project must be reviewed in the context of WP1, WP3 and WP6.
For the use cases which are related to Requirement Engineering, the following example is also important.
The site of the project is at http://mbeddr.com/index.html
The video Markus Völter recorded is at https://vimeo.com/78415217
In spite of the goal to describe systems formally, prose still plays an important role. mbeddr supports a language for capturing requirements that looks document-like, but is highly structured.
Arbitrary DSLs can be mixed with the requirements in various ways. Tracing from arbitrary design, architecture or implementation elements is supported. A documentation language helps with creating code-integrated documents, exportable as HTML or LaTeX.