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
Jastram, Michael
Modelle aus Texten extrahieren: Warum KI-Chat nicht genug ist Conference
ReConf 2023.
Links | BibTeX | Tags: AI, mbse, modeling
@conference{2023_reconf,
title = {Modelle aus Texten extrahieren: Warum KI-Chat nicht genug ist},
author = {Michael Jastram},
url = {https://www.hood-group.com/reconf/},
year = {2023},
date = {2023-01-01},
urldate = {2023-01-01},
series = {ReConf},
keywords = {AI, mbse, modeling},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Mit KI Anforderungen modellieren, ohne dass es jemand merkt Conference
ReConf 2022.
Links | BibTeX | Tags: AI, mbse, modeling
@conference{2022_reconf1,
title = {Mit KI Anforderungen modellieren, ohne dass es jemand merkt},
author = {Michael Jastram},
url = {https://www.hood-group.com/reconf/agenda#13835-mittwoch-27-april-2022},
year = {2022},
date = {2022-01-01},
series = {ReConf},
keywords = {AI, mbse, modeling},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
AI’s Role in Accelerating Product Development Journal Article
In: Cutter Business Technology Journal, 2021.
Links | BibTeX | Tags: AI, mbse
@article{2021_cutter,
title = {AI’s Role in Accelerating Product Development},
author = {Michael Jastram},
url = {https://www.cutter.com/journals/cutter-business-technology-journal},
year = {2021},
date = {2021-01-01},
journal = {Cutter Business Technology Journal},
keywords = {AI, mbse},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael
Softwareforen Leipzig – Requirements Engineering Community Days 2020.
@conference{2020_communitydays,
title = {Verlustfreie Anforderungs-Roundtrips über Firmengrenzen hinweg mit dem Requirements Interchange Format (ReqIF)},
author = {Michael Jastram},
url = {https://www.softwareforen.de/portal/Veranstaltungen/communitydays/Requirements-Engineering/Startseite.xhtml#tab-content3},
year = {2020},
date = {2020-01-01},
series = {Softwareforen Leipzig - Requirements Engineering Community Days},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Moderator of SysML-Track Conference
2020, (Moderation des Tracks SysML auf dem TdSE 2020).
BibTeX | Tags:
@conference{2020_tdse,
title = {Moderator of SysML-Track},
author = {Michael Jastram},
year = {2020},
date = {2020-01-01},
journal = {Tag des Systems Engineering},
note = {Moderation des Tracks SysML auf dem TdSE 2020},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Vavere, Emils
BPM Lifecylcle of the Sales Process masterthesis
2020, (Thesis Supervisor).
BibTeX | Tags:
@masterthesis{2020_bpm,
title = {BPM Lifecylcle of the Sales Process},
author = {Emils Vavere},
year = {2020},
date = {2020-01-01},
school = {Master Project Business Analytics, Vrije Universiteit Amsterdam},
note = {Thesis Supervisor},
keywords = {},
pubstate = {published},
tppubtype = {masterthesis}
}
Jastram, Michael
Lightweight Requirements Modeling as an Alternative to full-scale MBSE Conference
CSDM 2019.
@conference{2019_csdm,
title = {Lightweight Requirements Modeling as an Alternative to full-scale MBSE},
author = {Michael Jastram},
url = {https://www.2019.csdm.fr/schedule/dr-michael-jastram-senior-solutions-architect-jama-software/},
year = {2019},
date = {2019-01-01},
series = {CSDM},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Traces als Dreh- und Angelpunkt für agiles Anforderungsmanagement: Eine Fallstudie Conference
Modern RE 2019.
@conference{2019_modernre,
title = {Traces als Dreh- und Angelpunkt für agiles Anforderungsmanagement: Eine Fallstudie},
author = {Michael Jastram},
url = {https://www.modern-re.de/archiv/downloads/handouts-2019.html},
year = {2019},
date = {2019-01-01},
series = {Modern RE},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Effektivere Systementwicklung mit dem ReqIF-Standard Journal Article
In: embedded-software Engineer, 2019.
Links | BibTeX | Tags: ReqIF, Systems Engineering
@article{2019_embedded-software,
title = {Effektivere Systementwicklung mit dem ReqIF-Standard},
author = {Michael Jastram},
url = {https://www.embedded-software-engineering.de/effektivere-systementwicklung-mit-dem-reqif-standard-a-822064/},
year = {2019},
date = {2019-01-01},
journal = {embedded-software Engineer},
keywords = {ReqIF, Systems Engineering},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael
Entwicklungsmuster für den Umgang mit Änderungen Conference
ReConf 2019.
Links | BibTeX | Tags: pattern, requirements
@conference{2019_reconf3,
title = {Entwicklungsmuster für den Umgang mit Änderungen},
author = {Michael Jastram},
url = {https://www.hood-group.com/en/reconf/agenda/#2714-10-50-r1},
year = {2019},
date = {2019-01-01},
series = {ReConf},
keywords = {pattern, requirements},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Predictive Product Development: Ein Quantensprung für die Entwicklung besserer Produkte Conference
ReConf 2019.
@conference{2019_reconf2,
title = {Predictive Product Development: Ein Quantensprung für die Entwicklung besserer Produkte},
author = {Michael Jastram},
url = {https://www.hood-group.com/en/reconf/agenda/#2713-14-55-r4},
year = {2019},
date = {2019-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Workshop: Änderungen beherrschbar machen Conference
2019.
Links | BibTeX | Tags: change management
@conference{2019_reconf1,
title = {Workshop: Änderungen beherrschbar machen},
author = {Michael Jastram},
url = {https://www.hood-group.com/reconf/workshops/htws38-aenderungen-beherrschbar-machen/},
year = {2019},
date = {2019-01-01},
journal = {ReConf},
keywords = {change management},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Predictive Product Development: Mit den Daten von heute die Produkte von morgen entwickeln Conference
Software Quality Days 2019.
@conference{2019-sqd,
title = {Predictive Product Development: Mit den Daten von heute die Produkte von morgen entwickeln},
author = {Michael Jastram},
url = {https://www.software-quality-days.com/konferenz/contributiondetail/?tx_comot_pi2%5Buid%5D=875&tx_comot_pi2%5Baction%5D=showContribution&tx_comot_pi2%5Bcontroller%5D=ConferencePlan&cHash=26cccdcd2ca5818557a257d616fac380},
year = {2019},
date = {2019-01-01},
series = {Software Quality Days},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Agile Development of Embedded Systems for Functional Safety – a Contradiction in Terms? Conference
Embedded Conference Scandinavia 2018.
@conference{2018_ECS,
title = {Agile Development of Embedded Systems for Functional Safety – a Contradiction in Terms?},
author = {Michael Jastram},
url = {http://www.embeddedconference.se/app/netattm/attendee/page/71467},
year = {2018},
date = {2018-01-01},
series = {Embedded Conference Scandinavia},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Keynote: Wie Modellierung SE nachhaltig transformiert Conference
systems.camp Nord 2018.
@conference{2018_systemscamp_keynote,
title = {Keynote: Wie Modellierung SE nachhaltig transformiert},
author = {Michael Jastram},
url = {http://systemscamp.org/nord2018},
year = {2018},
date = {2018-01-01},
series = {systems.camp Nord},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Julia Knospe Andrea Ramge Michael
systems.camp Nord Conference
GfSE systems.camp address = Hamburg, Germany 2018, (Conference Organizer).
@conference{2018_systemscamp,
title = {systems.camp Nord},
author = {Julia Knospe Andrea Ramge Michael Jastram},
url = {http://systemscamp.org/nord2018},
year = {2018},
date = {2018-01-01},
series = {GfSE systems.camp address = Hamburg, Germany},
note = {Conference Organizer},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael; Winquist, Eric
Funktionale Sicherheit und Agil, geht das? Conference
ReConf 2018.
BibTeX | Tags:
@conference{2018_reconf1,
title = {Funktionale Sicherheit und Agil, geht das?},
author = {Michael Jastram and Eric Winquist},
year = {2018},
date = {2018-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael; Winquist, Eric
Agile Systemmodellierung: Ein Widerspruch in sich? Conference
ReConf 2018.
BibTeX | Tags:
@conference{2018_reconf2,
title = {Agile Systemmodellierung: Ein Widerspruch in sich?},
author = {Michael Jastram and Eric Winquist},
year = {2018},
date = {2018-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Proceedings of 2018 embedded world series = Embedded World Conference Proceedings
Nuremberg, Germany, 2018, (Program Committee Member).
BibTeX | Tags:
@proceedings{2018_embedded_world,
title = {Proceedings of 2018 embedded world series = Embedded World Conference},
author = {Michael Jastram},
year = {2018},
date = {2018-01-01},
address = {Nuremberg, Germany},
note = {Program Committee Member},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
Jastram, Stephan Dankers Michael
Modeling Craftsmanship Camp Conference
Modeling Craftsmanship Camp Hannover, Germany, 2017.
@conference{2017_modelingcamp,
title = {Modeling Craftsmanship Camp},
author = {Stephan Dankers Michael Jastram},
url = {http://camp.modelingcraftsmanship.com/},
year = {2017},
date = {2017-01-01},
address = {Hannover, Germany},
series = {Modeling Craftsmanship Camp},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
2023
Jastram, Michael
Modelle aus Texten extrahieren: Warum KI-Chat nicht genug ist Conference
ReConf 2023.
@conference{2023_reconf,
title = {Modelle aus Texten extrahieren: Warum KI-Chat nicht genug ist},
author = {Michael Jastram},
url = {https://www.hood-group.com/reconf/},
year = {2023},
date = {2023-01-01},
urldate = {2023-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
2022
Jastram, Michael
Mit KI Anforderungen modellieren, ohne dass es jemand merkt Conference
ReConf 2022.
@conference{2022_reconf1,
title = {Mit KI Anforderungen modellieren, ohne dass es jemand merkt},
author = {Michael Jastram},
url = {https://www.hood-group.com/reconf/agenda#13835-mittwoch-27-april-2022},
year = {2022},
date = {2022-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
2021
Jastram, Michael
AI’s Role in Accelerating Product Development Journal Article
In: Cutter Business Technology Journal, 2021.
@article{2021_cutter,
title = {AI’s Role in Accelerating Product Development},
author = {Michael Jastram},
url = {https://www.cutter.com/journals/cutter-business-technology-journal},
year = {2021},
date = {2021-01-01},
journal = {Cutter Business Technology Journal},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
2020
Jastram, Michael
Softwareforen Leipzig – Requirements Engineering Community Days 2020.
@conference{2020_communitydays,
title = {Verlustfreie Anforderungs-Roundtrips über Firmengrenzen hinweg mit dem Requirements Interchange Format (ReqIF)},
author = {Michael Jastram},
url = {https://www.softwareforen.de/portal/Veranstaltungen/communitydays/Requirements-Engineering/Startseite.xhtml#tab-content3},
year = {2020},
date = {2020-01-01},
series = {Softwareforen Leipzig - Requirements Engineering Community Days},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Moderator of SysML-Track Conference
2020, (Moderation des Tracks SysML auf dem TdSE 2020).
@conference{2020_tdse,
title = {Moderator of SysML-Track},
author = {Michael Jastram},
year = {2020},
date = {2020-01-01},
journal = {Tag des Systems Engineering},
note = {Moderation des Tracks SysML auf dem TdSE 2020},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Vavere, Emils
BPM Lifecylcle of the Sales Process masterthesis
2020, (Thesis Supervisor).
@masterthesis{2020_bpm,
title = {BPM Lifecylcle of the Sales Process},
author = {Emils Vavere},
year = {2020},
date = {2020-01-01},
school = {Master Project Business Analytics, Vrije Universiteit Amsterdam},
note = {Thesis Supervisor},
keywords = {},
pubstate = {published},
tppubtype = {masterthesis}
}
2019
Jastram, Michael
Lightweight Requirements Modeling as an Alternative to full-scale MBSE Conference
CSDM 2019.
@conference{2019_csdm,
title = {Lightweight Requirements Modeling as an Alternative to full-scale MBSE},
author = {Michael Jastram},
url = {https://www.2019.csdm.fr/schedule/dr-michael-jastram-senior-solutions-architect-jama-software/},
year = {2019},
date = {2019-01-01},
series = {CSDM},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Traces als Dreh- und Angelpunkt für agiles Anforderungsmanagement: Eine Fallstudie Conference
Modern RE 2019.
@conference{2019_modernre,
title = {Traces als Dreh- und Angelpunkt für agiles Anforderungsmanagement: Eine Fallstudie},
author = {Michael Jastram},
url = {https://www.modern-re.de/archiv/downloads/handouts-2019.html},
year = {2019},
date = {2019-01-01},
series = {Modern RE},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Effektivere Systementwicklung mit dem ReqIF-Standard Journal Article
In: embedded-software Engineer, 2019.
@article{2019_embedded-software,
title = {Effektivere Systementwicklung mit dem ReqIF-Standard},
author = {Michael Jastram},
url = {https://www.embedded-software-engineering.de/effektivere-systementwicklung-mit-dem-reqif-standard-a-822064/},
year = {2019},
date = {2019-01-01},
journal = {embedded-software Engineer},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael
Entwicklungsmuster für den Umgang mit Änderungen Conference
ReConf 2019.
@conference{2019_reconf3,
title = {Entwicklungsmuster für den Umgang mit Änderungen},
author = {Michael Jastram},
url = {https://www.hood-group.com/en/reconf/agenda/#2714-10-50-r1},
year = {2019},
date = {2019-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Predictive Product Development: Ein Quantensprung für die Entwicklung besserer Produkte Conference
ReConf 2019.
@conference{2019_reconf2,
title = {Predictive Product Development: Ein Quantensprung für die Entwicklung besserer Produkte},
author = {Michael Jastram},
url = {https://www.hood-group.com/en/reconf/agenda/#2713-14-55-r4},
year = {2019},
date = {2019-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Workshop: Änderungen beherrschbar machen Conference
2019.
@conference{2019_reconf1,
title = {Workshop: Änderungen beherrschbar machen},
author = {Michael Jastram},
url = {https://www.hood-group.com/reconf/workshops/htws38-aenderungen-beherrschbar-machen/},
year = {2019},
date = {2019-01-01},
journal = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Predictive Product Development: Mit den Daten von heute die Produkte von morgen entwickeln Conference
Software Quality Days 2019.
@conference{2019-sqd,
title = {Predictive Product Development: Mit den Daten von heute die Produkte von morgen entwickeln},
author = {Michael Jastram},
url = {https://www.software-quality-days.com/konferenz/contributiondetail/?tx_comot_pi2%5Buid%5D=875&tx_comot_pi2%5Baction%5D=showContribution&tx_comot_pi2%5Bcontroller%5D=ConferencePlan&cHash=26cccdcd2ca5818557a257d616fac380},
year = {2019},
date = {2019-01-01},
series = {Software Quality Days},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
2018
Jastram, Michael
Agile Development of Embedded Systems for Functional Safety – a Contradiction in Terms? Conference
Embedded Conference Scandinavia 2018.
@conference{2018_ECS,
title = {Agile Development of Embedded Systems for Functional Safety – a Contradiction in Terms?},
author = {Michael Jastram},
url = {http://www.embeddedconference.se/app/netattm/attendee/page/71467},
year = {2018},
date = {2018-01-01},
series = {Embedded Conference Scandinavia},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Keynote: Wie Modellierung SE nachhaltig transformiert Conference
systems.camp Nord 2018.
@conference{2018_systemscamp_keynote,
title = {Keynote: Wie Modellierung SE nachhaltig transformiert},
author = {Michael Jastram},
url = {http://systemscamp.org/nord2018},
year = {2018},
date = {2018-01-01},
series = {systems.camp Nord},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Julia Knospe Andrea Ramge Michael
systems.camp Nord Conference
GfSE systems.camp address = Hamburg, Germany 2018, (Conference Organizer).
@conference{2018_systemscamp,
title = {systems.camp Nord},
author = {Julia Knospe Andrea Ramge Michael Jastram},
url = {http://systemscamp.org/nord2018},
year = {2018},
date = {2018-01-01},
series = {GfSE systems.camp address = Hamburg, Germany},
note = {Conference Organizer},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael; Winquist, Eric
Funktionale Sicherheit und Agil, geht das? Conference
ReConf 2018.
@conference{2018_reconf1,
title = {Funktionale Sicherheit und Agil, geht das?},
author = {Michael Jastram and Eric Winquist},
year = {2018},
date = {2018-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael; Winquist, Eric
Agile Systemmodellierung: Ein Widerspruch in sich? Conference
ReConf 2018.
@conference{2018_reconf2,
title = {Agile Systemmodellierung: Ein Widerspruch in sich?},
author = {Michael Jastram and Eric Winquist},
year = {2018},
date = {2018-01-01},
series = {ReConf},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Proceedings of 2018 embedded world series = Embedded World Conference Proceedings
Nuremberg, Germany, 2018, (Program Committee Member).
@proceedings{2018_embedded_world,
title = {Proceedings of 2018 embedded world series = Embedded World Conference},
author = {Michael Jastram},
year = {2018},
date = {2018-01-01},
address = {Nuremberg, Germany},
note = {Program Committee Member},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
2017
Jastram, Stephan Dankers Michael
Modeling Craftsmanship Camp Conference
Modeling Craftsmanship Camp Hannover, Germany, 2017.
@conference{2017_modelingcamp,
title = {Modeling Craftsmanship Camp},
author = {Stephan Dankers Michael Jastram},
url = {http://camp.modelingcraftsmanship.com/},
year = {2017},
date = {2017-01-01},
address = {Hannover, Germany},
series = {Modeling Craftsmanship Camp},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Munde, Florent Joeckle Sandra Eilmus Robert
Mit Entwurfsklausuren zur agilen U-Bootentwicklung Proceedings
2017.
@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 = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
Praxiserprobte Anforderungs-Modellierung Conference
Embedded Software Engineering Congress 2017.
@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.
@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.
@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 = {},
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}
}
2016
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.
@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.
@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}
}
2015
Jastram, Michael
openETCS: Eclipse in the Rail Domain Conference
EclipseCon 2015.
@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.
@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 = {},
pubstate = {published},
tppubtype = {article}
}
2014
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 = {},
pubstate = {published},
tppubtype = {techreport}
}
Hallerstede, Stefan; Jastram, Michael; Ladenberger, Lukas
A Method and Tool for Tracing Requirements into Specifications Journal Article
In: pp. 36 p, 2014.
@article{HalJasLad2014,
title = {A Method and Tool for Tracing Requirements into Specifications},
author = {Stefan Hallerstede and Michael Jastram and Lukas Ladenberger},
year = {2014},
date = {2014-01-01},
pages = {36 p},
publisher = {Science of Computer Programming},
abstract = {The creation of a consistent system description is a challenging problem of requirements engineering.
Formal and informal reasoning can greatly contribute to meet this challenge.
However, this demands that formal and informal reasoning and the system description are
connected in such way that the reasoning permits drawing conclusions about the system description.
We describe an incremental approach to requirements modelling and validation
that incorporates formal and informal reasoning.
Our main contribution is an approach to requirements tracing that delivers the necessary connection
that links the reasoning to the system description.
Formal refinement is used in order to deal with large and complex system descriptions.
We discuss tool support for our approach of requirements tracing that combines informal requirements modelling
},
with formal modelling and verification while tracing requirements among each other and into the formal model.
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Formal and informal reasoning can greatly contribute to meet this challenge.
However, this demands that formal and informal reasoning and the system description are
connected in such way that the reasoning permits drawing conclusions about the system description.</p>
<p>We describe an incremental approach to requirements modelling and validation
that incorporates formal and informal reasoning.
Our main contribution is an approach to requirements tracing that delivers the necessary connection
that links the reasoning to the system description.
Formal refinement is used in order to deal with large and complex system descriptions.</p>
<p>We discuss tool support for our approach of requirements tracing that combines informal requirements modelling
with formal modelling and verification while tracing requirements among each other and into the formal model.</p>
Jastram, Michael; Herrmann, Andrea
Eclipse for Teaching Systems Engineering Conference
EclipseCon 2014.
@conference{2014_eclipsecon,
title = {Eclipse for Teaching Systems Engineering},
author = {Michael Jastram and Andrea Herrmann},
year = {2014},
date = {2014-01-01},
series = {EclipseCon},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
2013
Jastram, Michael
The Eclipse Requirements Modeling Framework Proceedings Article
In: Maalej, Walid; Thurimella, Anil (Ed.): Managing Requirements Knowledge, Springer, 2013.
@inproceedings{RMF_Mark_Book_Jastram_2013,
title = {The Eclipse Requirements Modeling Framework},
author = {Michael Jastram},
editor = {Walid Maalej and Anil Thurimella},
year = {2013},
date = {2013-03-01},
booktitle = {Managing Requirements Knowledge},
publisher = {Springer},
abstract = {This chapter presents the the Requirements Modeling Framework (RMF), an Eclipse-based open source platform for requirements engineering. The core of RMF is based on the emerging Requirements Interchange Format (ReqIF), which is an OMG standard. The project uses ReqIF as the central data model. At the time of this writing, RMF was the only open source implementation of the ReqIF data model.
By being based on an open standard that is currently gaining industry support, RMF can act as an interface to existing requirements management tools. Further, by based on the Eclipse platform, integration with existing Eclipse-based offerings is possible.},
In this chapter, we will describe the architecture of the RMF project, as well as the underlying ReqIF standard. Further, we give an overview of the GUI, which is called ProR. A key strength of RMF and ProR is the extensibility, and we present the integration ProR with Rodin, which allows traceability between natural language requirements and Event-B formal models.
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
By being based on an open standard that is currently gaining industry support, RMF can act as an interface to existing requirements management tools. Further, by based on the Eclipse platform, integration with existing Eclipse-based offerings is possible.</p><p>
In this chapter, we will describe the architecture of the RMF project, as well as the underlying ReqIF standard. Further, we give an overview of the GUI, which is called ProR. A key strength of RMF and ProR is the extensibility, and we present the integration ProR with Rodin, which allows traceability between natural language requirements and Event-B formal models.</p>
Jastram, Michael
ReqIF-OLUTION: Mit Eclipse und ReqIF zur Open-Source ALM-Werkzeugkette Journal Article
In: ObjektSpektrum, vol. 3, 2013.
@article{reqif_ObjektSpektrum_2013,
title = {ReqIF-OLUTION: Mit Eclipse und ReqIF zur Open-Source ALM-Werkzeugkette},
author = {Michael Jastram},
year = {2013},
date = {2013-01-01},
journal = {ObjektSpektrum},
volume = {3},
abstract = {Der Austausch von Anforderungen war bisher entweder mit Datenverlust oder verlustfrei nur über proprietäre Wege zu realisieren. Aber letztes Jahr wurde mit ReqIF ein internationaler Standard von der OMG verabschiedet, der dieses Problem löst. Dies hat eine Lawine von Aktivitäten ausgelöst, einschließlich der Entwicklung einer OpenSource Referenzimplementierung (Eclipse RMF). In diesem Artikel zeigen wir, wie mit ReqIF, Eclipse und RMF mit wenig Aufwand eine ALM-Werkzeugkette realisiert werden kann, und wo die Reise hingeht.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael
Werkzeuggestützte Konsistenz zwischen Anforderungen und Spezifikation Conference
ReConf 2013.
@conference{2013_reconf_wissenschaft,
title = {Werkzeuggestützte Konsistenz zwischen Anforderungen und Spezifikation},
author = {Michael Jastram},
year = {2013},
date = {2013-01-01},
series = {ReConf},
abstract = {Anforderungen beschreiben, was ein System tun soll, während die Spezifikation das "wie" (die Umsetzung) beschreibt. Beide zusammen stellen die Systembeschreibung dar. Diese konsistent zu halten ist eine große Herausforderung, mit der sich dieser Vortrag beschäftigt. Es geht dabei primär um zwei Aspekte: Strukturierung der Systembeschreibung und Werkzeugunterstützung.
Durch ein auch nachträglich anwendbares Klassifizierungssystem, das auf dem WRSPM-Ansatz beruht, können eine Anzahl von Konsistenzkriterien der Systembeschreibung systematisch überprüft werden. Dabei wird auch eine Nachverfolgbarkeit hergestellt. In einem weiteren Schritt kann diese Nachverfolgbarkeit in einem formalen Modell fortgeführt werden (optional).
Wir haben die Open Source-Werkzeuge ProR (Anforderungen) und Rodin (Formale Modellierung) integriert, um die hier vorgestellte Methode zu unterstützen.
In diesem Vortrag wird anhand eines Beispiels die Methode und deren Anwendung mit dem Werkzeug vorgestellt.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Durch ein auch nachträglich anwendbares Klassifizierungssystem, das auf dem WRSPM-Ansatz beruht, können eine Anzahl von Konsistenzkriterien der Systembeschreibung systematisch überprüft werden. Dabei wird auch eine Nachverfolgbarkeit hergestellt. In einem weiteren Schritt kann diese Nachverfolgbarkeit in einem formalen Modell fortgeführt werden (optional).<p>
Wir haben die Open Source-Werkzeuge ProR (Anforderungen) und Rodin (Formale Modellierung) integriert, um die hier vorgestellte Methode zu unterstützen.<p>
In diesem Vortrag wird anhand eines Beispiels die Methode und deren Anwendung mit dem Werkzeug vorgestellt.
Jastram, Andreas Graf Michael
Eclipse RMF in Action Conference
ReConf 2013.
@conference{2013_reconf_rmf,
title = {Eclipse RMF in Action},
author = {Andreas Graf Michael Jastram},
year = {2013},
date = {2013-01-01},
series = {ReConf},
abstract = {RMF ist ein Framework, welches das modellbasierte Arbeiten mit Anforderungen, denen die Datenstruktur des Requirements Interchange Formats (ReqIF) zugrunde liegt, ermöglicht. Teil des Frameworks ist die GUI ProR, mit der ReqIF-basierte Daten direkt inspiziert und bearbeitet werden können.
In diesem Vortrag werden wir eine kurze Einführung zu RMF und ProR geben. Weiterhin stellen wir einige Nutzungsszenarien vor, die bereits heute mit RMF möglich sind. Zu einigen dieser Szenarien werden wir kurze Life-Demos geben.
Wir schließen mit einem Ausblick auf die Zukunftspläne von RMF.
Dieser Vortrag wurde als einer der 5 besten der ReConf bewertet.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
In diesem Vortrag werden wir eine kurze Einführung zu RMF und ProR geben. Weiterhin stellen wir einige Nutzungsszenarien vor, die bereits heute mit RMF möglich sind. Zu einigen dieser Szenarien werden wir kurze Life-Demos geben.<p>
Wir schließen mit einem Ausblick auf die Zukunftspläne von RMF. <p>
Dieser Vortrag wurde als <a href=”http://www.hood-group.com/reconf/reconf-2013/programm/top-5-referenten-der-reconf-2013/”>einer der 5 besten der ReConf</a> bewertet.
Jastram, Michael
Openness in Systems Engineering with Eclipse Conference
ProStep Symposium 2013.
@conference{2013_prostep,
title = {Openness in Systems Engineering with Eclipse},
author = {Michael Jastram},
year = {2013},
date = {2013-01-01},
series = {ProStep Symposium},
abstract = {Eclipse is an open source framework for building platform-independent GUI applications. It is managed by the Eclipse Foundation (a non-profit organization), which ensures that official Eclipse projects are interoperable and follow certain intellectual property guidelines.
Open Source in general allows organizations to remedy the risk of being dependent on one single vendor. This includes the risk of the feature set provided: users can add missing features themselves or commission their inclusion to any competent party, rather than having to rely on the vendor to implement it. It further includes the risk of maintenance and long-term support.
Eclipse in particular provides a solid, mature and open platform for desktop applications with a rich ecosystem. Many Eclipse offerings are ready to be used “as is”, thereby offering great cost savings. <>p
In this talk, we demonstrate how Eclipse can be used as an integration platform for systems engineering. We focus on RMF (Requirements Modeling Framework) as a case study on how the Eclipse ecosystem can be leveraged in a business environment. RMF is a clean-room implementation of the open ReqIF standard, which is currently being adopted by various tool vendors: The currently ongoing ReqIF Implementor Forum , which is organized by ProSTEP iViP, will ensure that the various ReqIF implementations will properly function together. We will look at both the technical and business implications.
From a business point of view, this approach promises cost savings and prevents vendor lock-in. To understand the value, we will look at the openETCS project , which is an ITEA2 EU-funded project. The purpose of this project is the development of an integrated modeling, development, validation and testing framework for leveraging the cost-efficient and reliable implementation of the European Train Control System (ETCS), based on open source technologies. While the technology choice has not yet been fi¬nalized, Eclipse is a strong candidate for realizing this project, and it being open source is a core requirement. We will present the implications of such an open platform from a business point of view for the parties involved, which are customers (e.g. Deutsche Bahn), equipment manufacturers (e.g. Siemens) service providers (e.g. Formal Mind) and, of course, the EU and its citizens.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Open Source in general allows organizations to remedy the risk of being dependent on one single vendor. This includes the risk of the feature set provided: users can add missing features themselves or commission their inclusion to any competent party, rather than having to rely on the vendor to implement it. It further includes the risk of maintenance and long-term support.
Eclipse in particular provides a solid, mature and open platform for desktop applications with a rich ecosystem. Many Eclipse offerings are ready to be used “as is”, thereby offering great cost savings. <>p
In this talk, we demonstrate how Eclipse can be used as an integration platform for systems engineering. We focus on RMF (Requirements Modeling Framework) as a case study on how the Eclipse ecosystem can be leveraged in a business environment. RMF is a clean-room implementation of the open ReqIF standard, which is currently being adopted by various tool vendors: The currently ongoing ReqIF Implementor Forum , which is organized by ProSTEP iViP, will ensure that the various ReqIF implementations will properly function together. We will look at both the technical and business implications.<p>
From a business point of view, this approach promises cost savings and prevents vendor lock-in. To understand the value, we will look at the openETCS project , which is an ITEA2 EU-funded project. The purpose of this project is the development of an integrated modeling, development, validation and testing framework for leveraging the cost-efficient and reliable implementation of the European Train Control System (ETCS), based on open source technologies. While the technology choice has not yet been fi¬nalized, Eclipse is a strong candidate for realizing this project, and it being open source is a core requirement. We will present the implications of such an open platform from a business point of view for the parties involved, which are customers (e.g. Deutsche Bahn), equipment manufacturers (e.g. Siemens) service providers (e.g. Formal Mind) and, of course, the EU and its citizens.
2012
Jastram, Michael
A Systems Engineering Tool Chain Based on Eclipse and Rodin Proceedings Article
In: Forms/Format, 2012.
@inproceedings{jastram_forms_2012,
title = {A Systems Engineering Tool Chain Based on Eclipse and Rodin},
author = {Michael Jastram},
year = {2012},
date = {2012-11-01},
booktitle = {Forms/Format},
abstract = {Formal methods are experiencing a renaissance, especially in the development of safety-critical systems. An indicator for this is the fact that more and more standards either recommend or prescribe the use of formal methods.
Using formal methods on an industrial scale requires their integration into the system engineering process. This paper is exploring how an integrated tool chain that supports formal methods may look like. It thereby focusses on our experience with tool chains that are based on the open source Eclipse platform in general, and the Rodin formal modeling environment in particular.
Open Source allows organisations to remedy the risk of being dependent on one single vendor. This includes the risk of the feature set provided: users can add missing features themselves or commission their inclusion to any competent party, rather than having to rely on the vendor to implement it. It further includes the risk of maintenance and long-term support.
We see industrial interest in open source for systems engineering in general, and Eclipse in particular. Eclipse is attractive, because its license is business-friendly. Further, its modular architecture makes it easy to seamlessly integrate the various Eclipse-based tools for systems engineering.
},
This paper focuses on an ecosystem that is accumulated around two Eclipse-based platforms, First, the Rodin platform is an open source modeling environment for the Event-B formalism. Second, the Requirements Modeling Framework (RMF) is a platform for working with natural language requirements, supporting the international ReqIF standard.
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
</p><p>
Using formal methods on an industrial scale requires their integration into the system engineering process. This paper is exploring how an integrated tool chain that supports formal methods may look like. It thereby focusses on our experience with tool chains that are based on the open source Eclipse platform in general, and the Rodin formal modeling environment in particular.
</p><p>
Open Source allows organisations to remedy the risk of being dependent on one single vendor. This includes the risk of the feature set provided: users can add missing features themselves or commission their inclusion to any competent party, rather than having to rely on the vendor to implement it. It further includes the risk of maintenance and long-term support.
</p><p>
We see industrial interest in open source for systems engineering in general, and Eclipse in particular. Eclipse is attractive, because its license is business-friendly. Further, its modular architecture makes it easy to seamlessly integrate the various Eclipse-based tools for systems engineering.
</p><p>
This paper focuses on an ecosystem that is accumulated around two Eclipse-based platforms, First, the Rodin platform is an open source modeling environment for the Event-B formalism. Second, the Requirements Modeling Framework (RMF) is a platform for working with natural language requirements, supporting the international ReqIF standard.</p>
Ebert, Michael Jastram Christof
ReqIF: Seamless Requirements Interchange Format between Business Partners Proceedings Article
In: IEEE Software, pp. 82–87, 2012.
@inproceedings{ebert_jastram_reqif_2012,
title = {ReqIF: Seamless Requirements Interchange Format between Business Partners},
author = {Michael Jastram Christof Ebert},
year = {2012},
date = {2012-10-01},
booktitle = {IEEE Software},
pages = {82--87},
abstract = {The primary sources of project risks and product problems are poor,
missing, or changing requirements. Often, the underlying root cause
is insufficient collaboration between business partners. This article
provides insight into how to effectively collaborate in requirements
engineering. We describe the Requirements Interchange Format
(ReqIF) standard and technologies for seamless requirements
development and management. We look forward to hearing from
both readers and prospective column authors about this and the
technologies and tools you want to know more about.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
missing, or changing requirements. Often, the underlying root cause
is insufficient collaboration between business partners. This article
provides insight into how to effectively collaborate in requirements
engineering. We describe the Requirements Interchange Format
(ReqIF) standard and technologies for seamless requirements
development and management. We look forward to hearing from
both readers and prospective column authors about this and the
technologies and tools you want to know more about.
Ladenberger, Lukas; Jastram, Michael
Requirements Traceability between Textual Requirements and Formal Models Using ProR Unpublished
2012, (Accepted for iFM’2012).
@unpublished{LadenbergerJastram_iFMABZ2012,
title = {Requirements Traceability between Textual Requirements and Formal Models Using ProR},
author = {Lukas Ladenberger and Michael Jastram},
year = {2012},
date = {2012-06-01},
abstract = {Traceability within a system description is a challenging problem of requirements engineering. In particular, formal models of the system are often based on informal requirements, but creating and maintaining the traceability between the two can be challenging. Previously, we presented an incremental approach for producing a system description from an initial set of requirements. The foundation of the approach is a classification of requirements into artefacts W (domain properties), R (requirements) and S (specification). In addition, the approach uses designated phenomena as the vocabulary employed by the artefacts. The central idea is that adequacy of the system description must be justified, meaning that W / S => R. The approach establishes a traceability, and the resulting system description may consist of formal and informal artefacts.
We created tool support for this approach by integrating Rodin and ProR ...
},
note = {Accepted for iFM'2012},
keywords = {},
pubstate = {published},
tppubtype = {unpublished}
}