Articles, Talks, Events, Activities

Not listed below are my blog posts. I write every week at SE-Trends (German) and roughly ever month in the Formal Mind Blog (English).

Please find my complete CV here: Curriculum Vitae (CV) English

List of Publications

55 entries « 3 of 3 »

Hallerstede, Stefan; Jastram, Michael; Ladenberger, Lukas

A Method and Tool for Tracing Requirements into Specifications Journal Article

In: pp. 36 p, 2014.

Abstract | BibTeX | Tags:


Jastram, Michael; Herrmann, Andrea

Eclipse for Teaching Systems Engineering Conference

EclipseCon 2014.

BibTeX | Tags:


Jastram, Michael

The Eclipse Requirements Modeling Framework Proceedings Article

In: Maalej, Walid; Thurimella, Anil (Ed.): Managing Requirements Knowledge, Springer, 2013.

Abstract | BibTeX | Tags: ReqIF


Jastram, Michael

ReqIF-OLUTION: Mit Eclipse und ReqIF zur Open-Source ALM-Werkzeugkette Journal Article

In: ObjektSpektrum, vol. 3, 2013.

Abstract | BibTeX | Tags: ReqIF


Jastram, Michael

Werkzeuggestützte Konsistenz zwischen Anforderungen und Spezifikation Conference

ReConf 2013.

Abstract | BibTeX | Tags:


Jastram, Andreas Graf Michael

Eclipse RMF in Action Conference

ReConf 2013.

Abstract | BibTeX | Tags: ReqIF


Jastram, Michael

Openness in Systems Engineering with Eclipse Conference

ProStep Symposium 2013.

Abstract | BibTeX | Tags: ReqIF


Jastram, Michael

A Systems Engineering Tool Chain Based on Eclipse and Rodin Proceedings Article

In: Forms/Format, 2012.

Abstract | BibTeX | Tags: ReqIF


Ebert, Michael Jastram Christof

ReqIF: Seamless Requirements Interchange Format between Business Partners Proceedings Article

In: IEEE Software, pp. 82–87, 2012.

Abstract | BibTeX | Tags: ReqIF


Ladenberger, Lukas; Jastram, Michael

Requirements Traceability between Textual Requirements and Formal Models Using ProR Unpublished

2012, (Accepted for iFM’2012).

Abstract | BibTeX | Tags:


Jastram, Michael; Graf, Andreas

ReqIF – the new Requirements Standard and its Open Source implementation Eclipse RMF Technical Report

Commercial Vehicle Technology Symposium 2012.

BibTeX | Tags: ReqIF


Jastram, Michael

The ProR Approach: Traceability of Requirements and System Descriptions Book

CreateSpace, 2012.

Abstract | BibTeX | Tags: ReqIF


Jastram, Michael; Brörkens, Mark

ReqIF in der Open Source: Das Eclipse Requirements Modeling Framework (RMF) Conference

ReConf 2012.

Abstract | Links | BibTeX | Tags: ReqIF


Jastram, Michael

Strukturierung von Anforderungen für eine enge Integration mit Modellen Conference

ReConf 2012.

Abstract | Links | BibTeX | Tags: formal methods, ReqIF, traceability


Bendisposto, Jens; Fritz, Fabian; Jastram, Michael; Leuschel, Michael; Weigelt, Ingo

Developing Camille, a text editor for Rodin Journal Article

In: Software: Practice and Experience, vol. 41, no. 2, pp. 189–198, 2011, ISSN: 1097-024X.

Abstract | Links | BibTeX | Tags: Event-B, formal methods, Rodin, tools

55 entries « 3 of 3 »

Sorry, no publications matched your criteria.