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
Munde, Florent Joeckle Sandra Eilmus Robert
Mit Entwurfsklausuren zur agilen U-Bootentwicklung Proceedings
2017.
BibTeX | Tags:
@proceedings{2017_tdse,
title = {Mit Entwurfsklausuren zur agilen U-Bootentwicklung},
author = {Florent Joeckle Sandra Eilmus Robert Munde},
year = {2017},
date = {2017-01-01},
journal = {Tag des Systems Engineering},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
Jastram, Michael
Verlustfreie Anforderungen – das Wichtigste zu ReqIF Conference
Embedded Software Engineering Congress 2017.
@conference{2017_ese1,
title = {Verlustfreie Anforderungen – das Wichtigste zu ReqIF},
author = {Michael Jastram},
year = {2017},
date = {2017-01-01},
series = {Embedded Software Engineering Congress},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Praxiserprobte Anforderungs-Modellierung Conference
Embedded Software Engineering Congress 2017.
BibTeX | Tags:
@conference{2017_ese2,
title = {Praxiserprobte Anforderungs-Modellierung},
author = {Michael Jastram},
year = {2017},
date = {2017-01-01},
series = {Embedded Software Engineering Congress},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Julia Knospe Andrea Ramge Michael
systems.camp Nord Journal Article
In: GfSE systems.camp address = Hamburg, Germany, 2017.
@article{2017_systemscamp,
title = {systems.camp Nord},
author = {Julia Knospe Andrea Ramge Michael Jastram},
url = {http://systemscamp.org/nord2017},
year = {2017},
date = {2017-01-01},
journal = {GfSE systems.camp address = Hamburg, Germany},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael
So leicht, dass man das Werkzeug gar nicht sieht: Jama in der agilen Entwicklung Conference
Modern RE 2017.
BibTeX | Tags:
@conference{2017_modern-re,
title = {So leicht, dass man das Werkzeug gar nicht sieht: Jama in der agilen Entwicklung},
author = {Michael Jastram},
year = {2017},
date = {2017-01-01},
series = {Modern RE},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Turning your product development process into a competitive advantage with Jama Software and medini analyze Conference
Medini Analyze European User Conference 2017.
BibTeX | Tags:
@conference{2017_medini,
title = {Turning your product development process into a competitive advantage with Jama Software and medini analyze},
author = {Michael Jastram},
year = {2017},
date = {2017-01-01},
series = {Medini Analyze European User Conference},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
International Conference Reliability, Safety and Security of Railway Systems Journal Article
In: 14 – 16 November, Pistoia, Italy, 2017, (program committee member).
@article{2017_rssrail,
title = {International Conference Reliability, Safety and Security of Railway Systems},
author = {Michael Jastram},
url = {https://conferences.ncl.ac.uk/rssrail/},
year = {2017},
date = {2017-01-01},
journal = {14 - 16 November, Pistoia, Italy},
note = {program committee member},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael
Workshop: Anforderungen austauschen mit ReqIF Conference
ReConf 2017.
@conference{2017_reconf,
title = {Workshop: Anforderungen austauschen mit ReqIF},
author = {Michael Jastram},
year = {2017},
date = {2017-01-01},
series = {ReConf},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Workshop on RE for Startups and Innovative Business Journal Article
In: 2017, (program committee member).
@article{2017_restib,
title = {Workshop on RE for Startups and Innovative Business},
author = {Michael Jastram},
url = {https://www.haw-hamburg.de/ws-w/forschung/forschungsprojekte/1st-workshop-on-re-for-startups-and-innovative-business.html},
year = {2017},
date = {2017-01-01},
address = {February 27, 2017, Hamburg},
note = {program committee member},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Jastram, Julia Knospe Andrea Ramge Michael
systems.camp Nord Conference
GfSE systems.camp address = Hamburg, Germany 2016.
@conference{2016_systemscamp,
title = {systems.camp Nord},
author = {Julia Knospe Andrea Ramge Michael Jastram},
url = {http://nord.systemscamp.org/},
year = {2016},
date = {2016-01-01},
series = {GfSE systems.camp address = Hamburg, Germany},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Stephan Dankers Michael
Modeling Craftsmanship Camp Conference
Modeling Craftsmanship Camp Hannover, Germany, 2016, (organizer).
@conference{2016_modelingcamp,
title = {Modeling Craftsmanship Camp},
author = {Stephan Dankers Michael Jastram},
url = {http://camp.modelingcraftsmanship.com/},
year = {2016},
date = {2016-01-01},
address = {Hannover, Germany},
series = {Modeling Craftsmanship Camp},
note = {organizer},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Modellierung von Anforderungen: Der erste Schritt zum MBSE Journal Article
In: Tag des Systems Engineering, 2016.
BibTeX | Tags:
@article{2016_tdse,
title = {Modellierung von Anforderungen: Der erste Schritt zum MBSE},
author = {Michael Jastram},
year = {2016},
date = {2016-01-01},
journal = {Tag des Systems Engineering},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael; Kara, Andreas
Modeling Requirements with Constraints Technical Report
Requirements Engineering Magazine 2016.
@techreport{re-magazine-2016,
title = {Modeling Requirements with Constraints},
author = {Michael Jastram and Andreas Kara},
url = {http://re-magazine.ireb.org/issues/03-an-eye-for-detail/modeling-requirements-with-constraints/},
year = {2016},
date = {2016-01-01},
institution = {Requirements Engineering Magazine},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
Jastram, Michael
Anforderungen richtig austauschen Technical Report
MicroTool 2016.
@techreport{microtool-2016,
title = {Anforderungen richtig austauschen},
author = {Michael Jastram},
url = {http://www.microtool.de/requirements/anforderungen-richtig-austauschen/},
year = {2016},
date = {2016-01-01},
institution = {MicroTool},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
Jastram, Michael; Herrmann, Andrea
Standardkonforme Entwicklung mit ISO 29110 – auch für die Kleinen Conference
ReConf 2016.
BibTeX | Tags:
@conference{2016_reconf,
title = {Standardkonforme Entwicklung mit ISO 29110 – auch für die Kleinen},
author = {Michael Jastram and Andrea Herrmann},
year = {2016},
date = {2016-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael (Ed.)
International Conference Reliability, Safety and Security of Railway Systems Proceedings
2016.
@proceedings{2016_rssrail,
title = {International Conference Reliability, Safety and Security of Railway Systems},
editor = {Michael Jastram},
url = {https://conferences.ncl.ac.uk/rssrail/},
year = {2016},
date = {2016-01-01},
series = {June 28-30, 2016, Paris note = program committee member},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
Jastram, Michael
openETCS: Eclipse in the Rail Domain Conference
EclipseCon 2015.
BibTeX | Tags:
@conference{2015_eclipsecon,
title = {openETCS: Eclipse in the Rail Domain},
author = {Michael Jastram},
year = {2015},
date = {2015-01-01},
series = {EclipseCon},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Eclipse for Teaching Systems Engineering Conference
Eclipse Demo Camp 2015.
BibTeX | Tags:
@conference{2015_democamp,
title = {Eclipse for Teaching Systems Engineering},
author = {Michael Jastram},
year = {2015},
date = {2015-01-01},
series = {Eclipse Demo Camp},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael; Dorka, Moritz
Solide Anforderungen dank ReqIF im Europäischen Schienenverkehr Journal Article
In: Tag des Systems Engineering, 2015.
@article{2015_tdse,
title = {Solide Anforderungen dank ReqIF im Europäischen Schienenverkehr},
author = {Michael Jastram and Moritz Dorka},
year = {2015},
date = {2015-01-01},
journal = {Tag des Systems Engineering},
keywords = {rail, ReqIF},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael
Open Up – How the ReqIF Standard for Requirements Exchange Disrupts the Tool Market Technical Report
Requirements Engineering Magazine 2014.
@techreport{re-magazine-2014,
title = {Open Up – How the ReqIF Standard for Requirements Exchange Disrupts the Tool Market},
author = {Michael Jastram},
url = {http://re-magazine.ireb.org/issues/2014-3-gaining-height/open-up/},
year = {2014},
date = {2014-01-01},
institution = {Requirements Engineering Magazine},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {techreport}
}
2012
Jastram, Michael; Graf, Andreas
ReqIF – the new Requirements Standard and its Open Source implementation Eclipse RMF Technical Report
Commercial Vehicle Technology Symposium 2012.
@techreport{tr-JaGr2012,
title = {ReqIF – the new Requirements Standard and its Open Source implementation Eclipse RMF},
author = {Michael Jastram and Andreas Graf},
year = {2012},
date = {2012-01-01},
institution = {Commercial Vehicle Technology Symposium},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
Jastram, Michael
The ProR Approach: Traceability of Requirements and System Descriptions Book
CreateSpace, 2012.
@book{jastram-thesis-2012,
title = {The ProR Approach: Traceability of Requirements and System Descriptions},
author = {Michael Jastram},
year = {2012},
date = {2012-01-01},
publisher = {CreateSpace},
institution = {Heinrich-Heine University Dusseldorf},
series = {Inaugural-Dissertation},
abstract = {Creating a system description of high quality is still a challenging problem in the field of requirements engineering. Creating a formal system description addresses some issues. However, the relationship of the formal model to the user requirements is rarely clear, or documented satisfactorily.
This work presents the ProR approach, an approach for the creation of a consistent system description from an initial set of requirements. The resulting system description is a mixture of formal and informal artefacts. Formal and informal reasoning is employed to aid in the process. To achieve this, the artefacts must be connected by traces to support formal and informal reasoning, so that conclusions about the system description can be drawn.
The ProR approach enables the incremental creation of the system description, alternating between modelling (both formal and informal) and validation. During this process, the necessary traceability for reasoning about the system description is established. The formal model employs refinement for further structuring of large and complex system descriptions. The development of the ProR approach is the first contribution of this work.
This work also presents ProR, a tool platform for requirements engineering, that supports the ProR approach. ProR has been integrated with Rodin, a tool for Event-B modelling, to provide a number of features that allow the ProR approach to scale.
The core features of ProR are independent from the ProR approach. The data model of ProR builds on the international ReqIF standard, which provides interoperability with industrial tools for requirements engineering. The development of ProR created enough interest to justify the creation of the Requirements Modeling Framework (RMF), a new Eclipse Foundation project, which is the open source host for ProR. RMF attracted an active community, and ProR development continues. The development of ProR is the second contribution of this work.
This work is accompanied by a case study of a traffic light system, which demonstrates the application of both the ProR approach and ProR.
},
keywords = {},
pubstate = {published},
tppubtype = {book}
}
<p>This work presents the ProR approach, an approach for the creation of a consistent system description from an initial set of requirements. The resulting system description is a mixture of formal and informal artefacts. Formal and informal reasoning is employed to aid in the process. To achieve this, the artefacts must be connected by traces to support formal and informal reasoning, so that conclusions about the system description can be drawn.</p>
<p>The ProR approach enables the incremental creation of the system description, alternating between modelling (both formal and informal) and validation. During this process, the necessary traceability for reasoning about the system description is established. The formal model employs refinement for further structuring of large and complex system descriptions. The development of the ProR approach is the first contribution of this work.</p>
<p>This work also presents ProR, a tool platform for requirements engineering, that supports the ProR approach. ProR has been integrated with Rodin, a tool for Event-B modelling, to provide a number of features that allow the ProR approach to scale.</p>
<p>The core features of ProR are independent from the ProR approach. The data model of ProR builds on the international ReqIF standard, which provides interoperability with industrial tools for requirements engineering. The development of ProR created enough interest to justify the creation of the Requirements Modeling Framework (RMF), a new Eclipse Foundation project, which is the open source host for ProR. RMF attracted an active community, and ProR development continues. The development of ProR is the second contribution of this work.</p>
<p>This work is accompanied by a case study of a traffic light system, which demonstrates the application of both the ProR approach and ProR.</p>
Jastram, Michael; Brörkens, Mark
ReqIF in der Open Source: Das Eclipse Requirements Modeling Framework (RMF) Conference
ReConf 2012.
@conference{2012_reconf_rmf,
title = {ReqIF in der Open Source: Das Eclipse Requirements Modeling Framework (RMF)},
author = {Michael Jastram and Mark Brörkens},
url = {http://2012.reconf.de/methodenvortrge1/reqif-in-der-open-source-das-eclipse-requirements-modeling-framework-rmf/},
year = {2012},
date = {2012-01-01},
series = {ReConf},
abstract = {Durch die Freigabe des ReqIF-Standards im April 2011 durch die OMG gibt es nun einen internationalen Standard, der das verteilte Arbeiten mit komplexen Anforderungen ermöglicht. Damit könnte ReqIF für Anforderungen das werden, was die UML in der Modellierung geleistet hat: Einen gemeinsamen Standard bereitstellen, auf den die Gemeinschaft konvergieren kann.
In diesem Vortrag stellen wir das Requirements Modeling Framework (RMF) vor. RMF ist ein neues Eclipse Foundation Projekt, das aus einem RIF/ReqIF-Kern und einer ReqIF-GUI besteht. RMF ist aus den zwei europäischen Forschungsprojekten Deploy und Verde entstanden.
RMF stellt drei Kerne für RIF 1.1a, RIF 1.2 und ReqIF 1.0.1 zu Verfügung. Diese sind mit dem Eclipse Modeling Framework realisiert und ermöglichen das effektive programmatische Arbeiten mit RIF- und ReqIF-Daten.
ProR ist der Name der GUI, mit der ReqIF-Daten komfortabel bearbeitet werden können. Dabei werden Anforderungen intuitiv tabellarisch dargestellt. ProR stellt Erweiterungspunkte zur Verfügung, über die andere Eclipse-basierte Werkzeuge integriert werden können.
In diesem Vortrag werden wir das Projekt vorstellen, die Architektur beschreiben, die Möglichkeiten einer Eclipse-basierten Plattform demonstrieren und eine Demo von ProR geben.
Online unter http://2012.reconf.de/methodenvortrge1/reqif-in-der-open-source-das-eclipse-requirements-modeling-framework-rmf/
},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
In diesem Vortrag stellen wir das Requirements Modeling Framework (RMF) vor. RMF ist ein neues Eclipse Foundation Projekt, das aus einem RIF/ReqIF-Kern und einer ReqIF-GUI besteht. RMF ist aus den zwei europäischen Forschungsprojekten Deploy und Verde entstanden.
RMF stellt drei Kerne für RIF 1.1a, RIF 1.2 und ReqIF 1.0.1 zu Verfügung. Diese sind mit dem Eclipse Modeling Framework realisiert und ermöglichen das effektive programmatische Arbeiten mit RIF- und ReqIF-Daten.
ProR ist der Name der GUI, mit der ReqIF-Daten komfortabel bearbeitet werden können. Dabei werden Anforderungen intuitiv tabellarisch dargestellt. ProR stellt Erweiterungspunkte zur Verfügung, über die andere Eclipse-basierte Werkzeuge integriert werden können.
In diesem Vortrag werden wir das Projekt vorstellen, die Architektur beschreiben, die Möglichkeiten einer Eclipse-basierten Plattform demonstrieren und eine Demo von ProR geben.
<p>Online unter <a href=”http://2012.reconf.de/methodenvortrge1/reqif-in-der-open-source-das-eclipse-requirements-modeling-framework-rmf/”>http://2012.reconf.de/methodenvortrge1/reqif-in-der-open-source-das-eclipse-requirements-modeling-framework-rmf/</a></p>
Jastram, Michael
Strukturierung von Anforderungen für eine enge Integration mit Modellen Conference
ReConf 2012.
@conference{2012_reconf_tracing,
title = {Strukturierung von Anforderungen für eine enge Integration mit Modellen},
author = {Michael Jastram},
url = {http://2012.reconf.de/wissenschaftstrack01/christian-albrechts-universit010},
year = {2012},
date = {2012-01-01},
series = {ReConf},
abstract = {Anforderungsmanagement und Modellierung - schon lange ist bekannt, dass sich diese beiden Ansätze gut ergänzen, aber wie verzahnt sind sie in der Praxis wirklich? Schauen wir uns doch mal einen Ansatz wie SysML an: Zwar können damit Anforderungen mit Modellelementen verknüpft werden; aber die Anforderungen sind nach wie vor einfach nur Textblöcke.
In diesem Vortrag stellen wir einen Ansatz vor, bei dem die natürlichsprachigen Anforderungen umstrukturiert werden, um die Nachverfolgbarkeit zu Modellen zu vereinfachen. Wir basieren unsere Arbeit auf dem WRSPM-Referenzmodell von Gunter. Diese Strukturierung allein verbessert bereits die Qualität der Anforderungen. Aber noch wichtiger, sie ermöglicht eine wesentlich tiefere Verknüpfung mit einem Modell.
Unser Ansatz kann mit verschiedenen Modellen umgesetzt werden. In unserer Forschungsarbeit arbeiten wir mit der formalen Event-B-Methode. In diesem Vortrag werden wir aber auch zeigen, wie der Ansatz mit leichtgewichtigen Modellen genutzt werden kann, zum Beispiel SysML.
Einer der Hauptvorteile unseres Ansatzes ist es, dass nicht alle Anforderungen mit dem Modell verknüpft werden müssen. Denn nicht alle Anforderungen eignen sich für die Modellierung.
Neben der theoretischen Arbeit zeigen wir auch das von uns entwickelte Werkzeug ProR, das das Arbeiten mit diesem Ansatz ermöglicht. ProR ist Teil des Eclipse Foundation Projekts RMF (Requirements Modeling Framework). Mit entsprechenden Erweiterungen ist eine Integration von ReqIF-basierten Anforderungen mit Event-B oder SysML prototypisch umgesetzt worden.
Online unter http://2012.reconf.de/wissenschaftstrack01/christian-albrechts-universit010/
},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
In diesem Vortrag stellen wir einen Ansatz vor, bei dem die natürlichsprachigen Anforderungen umstrukturiert werden, um die Nachverfolgbarkeit zu Modellen zu vereinfachen. Wir basieren unsere Arbeit auf dem WRSPM-Referenzmodell von Gunter. Diese Strukturierung allein verbessert bereits die Qualität der Anforderungen. Aber noch wichtiger, sie ermöglicht eine wesentlich tiefere Verknüpfung mit einem Modell.
Unser Ansatz kann mit verschiedenen Modellen umgesetzt werden. In unserer Forschungsarbeit arbeiten wir mit der formalen Event-B-Methode. In diesem Vortrag werden wir aber auch zeigen, wie der Ansatz mit leichtgewichtigen Modellen genutzt werden kann, zum Beispiel SysML.
Einer der Hauptvorteile unseres Ansatzes ist es, dass nicht alle Anforderungen mit dem Modell verknüpft werden müssen. Denn nicht alle Anforderungen eignen sich für die Modellierung.
Neben der theoretischen Arbeit zeigen wir auch das von uns entwickelte Werkzeug ProR, das das Arbeiten mit diesem Ansatz ermöglicht. ProR ist Teil des Eclipse Foundation Projekts RMF (Requirements Modeling Framework). Mit entsprechenden Erweiterungen ist eine Integration von ReqIF-basierten Anforderungen mit Event-B oder SysML prototypisch umgesetzt worden.
<p>Online unter <a href=”http://2012.reconf.de/wissenschaftstrack01/christian-albrechts-universit010/”>http://2012.reconf.de/wissenschaftstrack01/christian-albrechts-universit010/</a></p>
2011
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.
@article{SPE1016,
title = {Developing Camille, a text editor for Rodin},
author = {Jens Bendisposto and Fabian Fritz and Michael Jastram and Michael Leuschel and Ingo Weigelt},
url = {http://dx.doi.org/10.1002/spe.1016},
doi = {10.1002/spe.1016},
issn = {1097-024X},
year = {2011},
date = {2011-01-01},
journal = {Software: Practice and Experience},
volume = {41},
number = {2},
pages = {189--198},
publisher = {John Wiley & Sons, Ltd.},
abstract = {Initially, the Rodin platform for Event-B did away with a textual representation for models. In this paper, we explain why a textual representation was required after all and we present the semantic-aware text editor Camille for Rodin. We explain the design choices of Camille, such as splitting the syntax into two-levels for machine and formula syntax. We also describe the challenges, such as synchronizing the textual representation with the Rodin database, and how they were overcome using an EMF abstraction layer.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}