Follow
Michael Jastram
Michael Jastram
CEO, Formal Mind GmbH
Verified email at alum.mit.edu
Title
Cited by
Cited by
Year
Specification and refinement of discrete timing properties in Event-B
MR Sarshogh, M Butler
Electronic Communications of the EASST 46, 2012
62*2012
A method and tool for tracing requirements into specifications
S Hallerstede, M Jastram, L Ladenberger
Science of Computer Programming 82, 2-21, 2014
562014
Rodin User's Handbook: Covers Rodin v. 2.8
M Jastram, PM Butler
CreateSpace Independent Publishing Platform, 2014
452014
An approach of requirements tracing in formal refinement
M Jastram, S Hallerstede, M Leuschel, AG Russo
Verified Software: Theories, Tools, Experiments: Third International …, 2010
392010
ReqIF: Seamless requirements interchange format between business partners
C Ebert, M Jastram
IEEE software 29 (5), 82-87, 2012
322012
ProR, an open source platform for requirements engineering based on RIF
M Jastram
282010
Developing Camille, a text editor for Rodin
J Bendisposto, F Fritz, M Jastram, M Leuschel, I Weigelt
Software: Practice and Experience 41 (2), 189-198, 2011
142011
The pror approach: Traceability of requirements and system descriptions
M Jastram
CreateSpace, 2012
122012
ReqIF–the new requirements standard and its open source implementation Eclipse RMF
M Jastram, A Graf
Commercial Vehicle Technology Symposium, 2012
92012
Requirement traceability in Topcased with the requirements interchange format (RIF/ReqIF)
M Jastram, A Graf
82011
Mapping Requirements to B models
M Jastram, M Leuschel, J Bendisposto, A Russo Jr
DEPLOY Deliverable, 2009
82009
Requirements, traceability and DSLs in Eclipse with the requirements interchange format (RIF/ReqIF)
M Jastram, A Graf
fortiss GmbH, München, 2011
62011
How the REQIF standard for requirements exchange disrupts the tool market
M Jastram
Requir Eng Mag. https://remagaz ine. ireb. org/artic les/open-up. Accessed 13, 2019
52019
AR: Mapping requirements to B models
M Jastram, M Leuschel, J Bendisposto Jr
DEPLOY Deliverable-Unpublished manuscript, 2009
52009
Validating Wireless Congestion Control and Realiability Protocols using ProB and Rodin
J Bendisposto, M Jastram, M Leuschel, C Lochert, B Scheuermann, ...
FMWS 2008: Workshop on Formal Methods for Wireless Systems, 2008
52008
Requirements modeling framework
M Jastram, A Graf
Eclipse Magazin 6, 2011
32011
Eclipse rich client platform: Entwicklung von erweiterbaren Anwendungen mit RCP
H Sippel, J Bendisposto, M Jastram
Entwickler. Press, 2008
32008
The Eclipse Requirements Modeling Framework
M Jastram
Managing requirements knowledge, 353-372, 2013
22013
Inspection and feature extraction of marine propellers
MO Jastram
Massachusetts Institute of Technology, 1996
21996
ReqIF Studio: Requirements Engineering Platform Based on Eclipse
M Jastram
CreateSpace Independent Publishing Platform, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20